מידע כללי
הקורס עוסק בשלושה נושאים: משפטי אי השלמות של גדל, כולל הכרות עם מערכת אכסיומטית לתורת המספרים, יסודות תורת הרקורסיה והתזה של צ'רץ. תורת הקבוצות: יסודות אכסיומטיים וקומבינטוריים והצגת התחום כבסיס לפיתוח המתמטיקה. לוגיקה מודאלית: מודלים של קריפקה, משפטי שלמות, דיון בענפים בעלי השלכות למדעי המחשב: לוגיקות זמן, ידיעה ועוד.
פקולטה: מדעי המחשב
|תואר ראשון
|תארים מתקדמים
מקצועות קדם
(234292 - לוגיקה למדעי המחשב ו- 236343 - תורת החישוביות) או (234293 - לוגיקה ותורת הקבוצות למדעי המחשב ו- 236343 - תורת החישוביות)
מידע סמסטריאלי
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
אחראים
פרופ. קמינסקי מיכאל
מבחנים
מועד א: 18-07-2022 13:00 - 16:00- טאוב 4.
- טאוב 4.
קבוצות רישום
|
|
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
אחראים
פרופ. קמינסקי מיכאל
הערות
-
ההרצאה והתרגיל יתקיימו בטאוב 701.
מבחנים
מועד א: 23-07-2020 09:00 - 12:00- טאוב 4.
אין קבוצות רישום
שעות שבועיות
3 נקודות אקדמיות • 2 שעות הרצאה • 1 שעות תרגול
ניווט לדף המקצוע
הערות
-
נפתח עי מדור מעקב