חזרה

סילבוס

מספר קורס 0368-2170-06

שם הקורס לוגיקה למדעי המחשב

יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב

מרצה פרופ' אלכסנדר רבינוביץצרו קשר

צור קשר דוא"ל: rabinoa@tauex.tau.ac.il

שעות קבלה בתאום מראשבניין: בניין צ'ק פוינט , חדר: 333

אופן ההוראה שיעור

שעות סמסטריאליות 3

סמסטר ב' תשפ"ב

יום א

שעות 09:00-12:00

בניין לב אודיטוריום

חדר 009
בניין פיזיקה שנקר

אין סילבוס

תוכן הקורס ומטרתו

תחשיב הפסוקים: תחביר וסמנטיקה, מערכות הוכחה, שלמות ונאותות. תחשיב היחסים (לוגיקה מסדר ראשון): תחביר וסמנטיקה, מערכות הוכחה, שלמות ונאותות. בעיית הספיקות. נושאים מתקדמים.

טרם פורסם סילבוס מפורט

מטלות הקורס

בחינה סופית

ייתכנו מטלות נוספות
רשימת המטלות המלאה תופיע בסילבוס המפורט של הקורס.

קורסי קדם נדרשיםמתמטיקה בדידה 1 (03681118) אומבוא לתורת הקבוצות (03661105) +חדו''א 1א (03661101) אוחדו''א 1ב (03661121) אושיטות דיפר' ואינטגרליות (05091842) אוחדו''א 1ב (05091846) אוחדו''א 1ב' להנדסת חשמל (05091746) +אלגברה לינארית 2א (03661112) אואלגברה לינארית 2ב (03661120) אואלגברה לינארית (05091824) אואלגברה ליניארית לחשמל ואל (05091724)

דרישות קדם ספציפיות בקורס בהתאם לתוכנית הלימודים הנלמדת,
מופיעות בדף הידיעון של התוכנית