חזרה

סילבוס

מספר קורס 0368-2170-10
שם הקורס לוגיקה למדעי המחשב
יחידה אקדמית הפקולטה למדעים מדויקים ע"ש ריימונד ובברלי סאקלר -
מדעי המחשב
אופן ההוראה תרגיל
שעות סמסטריאליות 1
סמסטר ב' תשפ"א
יום ה
שעות 12:00-13:00
בניין שנקר - פיזיקה
חדר 204
אין סילבוס

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

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



טרם פורסם סילבוס מפורט
מטלות הקורס

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

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

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



tau logohourglass00:00