Skip to main content
2026/2027
  • My courses
  • Calendar
  • The video platform
    The video platform
  • Useful Links
    Useful links
  • Support
    Online guide for Academic staff Support for students Contact
  • More
En
עברית ‎(he)‎ English ‎(en)‎
  • support
    online guide for academic staff support for students contact
  • [[onlinetutorials]] [[studentsupport]] [[contact]]
    • You are currently using guest access
    Log in
    Tel Aviv University – Web-Supported Academic Instruction
    My courses Calendar The video platform Collapse Expand
    The video platform
    Useful Links Collapse Expand
    Useful links
    Support Collapse Expand
    Online guide for Academic staff Support for students Contact

    03682170 - Logic for Computer Science

    Enrolment options

    03682170 - Logic for Computer Science (03682170-99-2026-1)

    • Teacher: Mosseri Emile
    • Teacher: Eden Frenkel
    • Teacher: Sharon Shoham Buchbinder
    • Course Editor: TAU Digital
    This meta course includes the following descendant courses:
    0368217001 - Logic for Computer Science (03682170-01-2026-1)
    0368217002 - Logic for Computer Science (03682170-02-2026-1)
    0368217003 - Logic for Computer Science (03682170-03-2026-1)
    0368217005 - Logic for Computer Science (03682170-05-2026-1)
    Guests cannot access this course. Please log in.
    You are currently using guest access (Log in)
    Data retention summary
    Powered by Moodle
    You are currently using guest access (Log in)

    >  מדיניות שמירת מידע ופרטיות

    האוניברסיטה עושה כל מאמץ לכבד את זכויות היוצרים. אם את/ה בעל/ת זכויות יוצרים בתכנים שנמצאים פה וסבור/ה שהשימוש שנעשה פה אסור, אנא פנה/י אל צוות Virtual TAU.
    משתמש/ת יקר/ה, טרם העלאת תכנים לאתר זה עליך לוודא כי התוכן שמועלה על ידך לאתר אינו מוגן בזכויות יוצרים.
    ככל שהתוכן מוגן בזכויות יוצרים עליך לוודא שהשימוש בו מותר בהסכמת בעל זכויות היוצרים או שהשימוש בתוכן מהווה שימוש הוגן בהתאם לסעיף 19 לחוק זכויות יוצרים, תשס"ח-2007. 
    אין להעלות לאתר זה תכנים המוגנים בזכויות יוצרים ללא אישור בעל הזכויות או תכנים שהשימוש בהם אינו מהווה שימוש הוגן בהתאם לחוק. העלאת תכנים לאתר זה הינה באחריות המשתמש/ת.

    > לתמיכה וייעוץ ניתן לפנות ל-Virtual TAU  virtualt@tauex.tau.ac.il

    שימו לב, אין תמיכה באפליקציית Moodle. ניתן לגלוש ב-Moodle דרך כל הדפדפנים.

    >  להצהרת הנגישות

    >  Data retention summary

    The University makes every effort to honor copyrighted works. 
    If you are the owner of the copyrights of any contents herein, and if you are of the opinion that the usage made thereof is prohibited, kindly refer the matter to Virtual TAU Team.
    Dear user/s, before uploading contents onto this site, you must ensure that the content you uploaded onto the site is not protected by copyright.
    As long as the content is protected by copyright, you must ensure that its usage is permitted with the consent of the owner of the copyright, or that such usage constitutes "fair usage” in      terms of section 19 of the Copyright Law of 2007.

    > For support, you can contact Virtual TAU virtualt@tauex.tau.ac.il

    Please note, the Moodle app is not supported. You can browse Moodle through all browsers.

    > Accessibility Statement