לוגיקה מתמטית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1166618 |
מ בוט: החלפת טקסט אוטומטית (-(\.(pdf|PDF).*?)\{\{PDF\}\} +\1) |
||
שורה 20:
== קישורים חיצוניים ==
* עזריאל לוי, דניאלה ליבוביץ, שמואל ברגר, [http://books.google.co.il/books/about/%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%9E%D7%AA%D7%99%D7%9E%D7%98%D7%99%D7%AA_%D7%99%D7%97%D7%99%D7%93%D7%95%D7%AA.html?id=ivKhR32PBTkC&redir_esc=y לוגיקה מתימטית, יחידות 1-5], הוצאת [[האוניברסיטה הפתוחה]]
* סטיבן בילאניוק, [http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf A Problem Course in Mathematical Logic], [[אוניברסיטת טרנט]], [[קנדה]].
* בועז צבאן, [http://www.cs.biu.ac.il/~tsaban/Pdf/logicintro.pdf מבוא ללוגיקה מתמטית], המחלקה למתמטיקה, [[אוניברסיטת בר-אילן]], הספר מכיל רקע ותרגילים לנושא תחשיב הפסוקים ולוגיקה מסדר ראשון. נכתב במקור על פי מערכי שיעורים של [[פרופסור]] חיים יהודה.
* [http://us2.metamath.org:88/mpegif/mmset.html Metamath Proof Explorer]: מאגר של משפטים מתמטיים עם הוכחות מלאות בעזרת לוגיקה מתמטית.
| |||