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

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

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

מקצועות קדם

(104002 - מושגי יסוד במתמטיקה ו- 104293 - תורת הקבוצות) או 104290 - תורת הקבוצות או 234129 - מב.לתורת הקבוצות ואוטומטים למדמ"ח

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

44114 - מתמטיקה דיסקרטית ח' 94345 - מתמטיקה דיסקרטית ת' 94346 - מתמטיקה דיסקרטית 106156 - לוגיקה מתמטית 234293 - לוגיקה ותורת הקבוצות למדעי המחשב

• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic - Enderton, Herbert B.
• A mathematical introduction to logic [electronic resource] - Enderton, Herbert B.
• Introduction to mathematical logic - Mendelson, Elliott,
• Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia
• Logic of mathematics : a modern course of classical logic - Adamowicz, Zofia,
• Mathematical logic - Ebbinghaus, Heinz-Dieter
• Mathematical logic - Shoenfield, Joseph R.
• Mathematical Logic [electronic resource] - Ebbinghaus, H.-D.
• Naive set theory - Halmos, Paul R.
• Naive Set Theory [electronic resource] - Halmos, P. R.
• Naive set theory. - Halmos, Paul R.
• Notes on set theory - Moschovakis, Yiannis N.
• Notes on Set Theory [electronic resource] - Moschovakis, Yiannis.
• Set theory : an introduction - Vaught, Robert L.