מידע על לוגיקה למדעי המחשב 2
שם מקצוע
לוגיקה למדעי המחשב 2
מספר מקצוע
236304
אתר הקורס
קטלוג
סילבוס
הקורס עוסק בשלושה נושאים: משפטי אי השלמות של גדל, כולל הכרות עם מערכת אכסיומטית לתורת המספרים, יסודות תורת הרקורסיה והתזה של צ'רץ. תורת הקבוצות: יסודות אכסיומטיים וקומבינטוריים והצגת התחום כבסיס לפיתוח המתמטיקה. לוגיקה מודאלית: מודלים של קריפקה, משפטי שלמות, דיון בענפים בעלי השלכות למדעי המחשב: לוגיקות זמן, ידיעה ועוד.
מקצועות קדם
לא ניתן לברר מידע סמסטריאלי לסמסטר 201202
מידע סמסטריאלי אביב 2012/13(תשע"ג)
עבור לסמסטר
המקצוע לא נלמד בסמסטר זה