חזרה

סילבוס

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

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

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

אופן ההוראה תרגיל

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

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

יום א

שעות 13:00-14:00

בניין בניין צ'ק פוינט

חדר 002

אין סילבוס

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

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

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

מטלות הקורס

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

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

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