פורטל הסטודנטים

הלוגיקה כתיאור של דרך החשיבה המתמטית וההוכחה המתמטית. תחשיב הפסוקים: הגדרת הקשרים, האינפטרפרציה שלהם בלוחות אמת. נוסחאות בנויות היטב. מערכת הוכחה. השלמות של המערכת הזאת. תחשיב היחסים: נוסחאות בנויות היטב. מבנים, השמות, מודלים. מערכת הוכחה. שלמות. משפט השלמות של גדל. אלף-0 ואלף-1 קטגוריות. תורת המספרים: מערכת אקסיומות לתורת המספרים (מערכת פאנו או מערכת אחרת). מודלים לא סטנדרטיים לתורת המספרים. משפט אי השלמות של גדל. כריעות, רקורסיביות, התיזה של צ'רץ'.

פקולטה: מתמטיקה
|תואר ראשון |תארים מתקדמים

מקצועות קדם

(104002 - מושגי יסוד במתמטיקה ו- 104293 - תורת הקבוצות) או 104290 - תורת הקבוצות

מקצועות ללא זיכוי נוסף

234292 - לוגיקה למדעי המחשב 234293 - לוגיקה ותורת הקבוצות למדעי המחשב

• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic - Enderton, Herbert B.
• Logic for mathematicians - Hamilton, A. G.
• Logic for mathematicians. - Hamilton, A. G.
• לוגיקה מתימטית - לוי, עזריאל
• מתמטיקה דיסקרטית - גינזבורג, אברהם