חזרה

סילבוס

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

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

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

מרצה פרופ' שרון שוהם בוכבינדרצרו קשר

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

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

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

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

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

יום ג

שעות 11:00-14:00

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

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

אין סילבוס

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

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

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

מטלות הקורס

בחינה סופית

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

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

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