חזרה

סילבוס

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

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

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

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

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

שעות קבלהראשון 13:00 - 12:10
בניין: בניין צ'ק פוינט , חדר: 333
רביעי 16:00 - 15:00
בניין: בניין צ'ק פוינט , חדר: 333

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

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

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

יום ג

שעות 11:00-14:00

בניין

חדר

אין סילבוס

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

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

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

מטלות הקורס

בחינה סופית

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

קורסי קדם נדרשיםמתמטיקה בדידה 1 (03681118) אומבוא לתורת הקבוצות (03661105) +מתמטיקה בדידה 2 (03681119)

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