חזרה

סילבוס

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

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

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

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

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

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

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

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

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

יום ג

שעות 11:00-14:00

בניין

חדר

אין סילבוס

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

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

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

מטלות הקורס

בחינה סופית

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

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

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