מקצוע מידע על מקצוע : לוגיקה למדעי המחשב 2 - 236304

236304 - לוגיקה למדעי המחשב 2
לא ינתן השנה
נקודות
זיכוי
3.0
 
עבודת
בית
פרויקט
או סמינר
מעבדה תרגול הרצאה  
5     1 2 שעות
שבועיות

קביעת הציון עפ"י מעקב במשך הסמסטר ובחינה סופית.


  234293 לוגיקה ותורת הקבוצות למדעי המחשב   (   מקצועות קדם
) 236343 תורת החישוביות ו -    
  234292 לוגיקה למדעי המחשב   ( או
) 236343 תורת החישוביות ו -    


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




מערכת שעות לסמסטרים
סמסטר קודם מידע סמסטריאלי לסמסטר 02/2019 , 2019/2020 אביב תש"ף

נערך בתאריך 10/07/2020 בשעה 03:38:53