לוגיקה מתמטית – הבדלי גרסאות

נוספו 183 בתים ,  לפני 11 שנים
מ (←‏עריכת ההקדמה: תקלדה, עריכה)
* ''[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf A Problem Course in Mathematical Logic]'' חוברת מקיפה למבואות נושא הלוגיקה המתמטית ובהקשר ל[[חישוביות]], מאת סטיבן בילאניוק מ[[אוניברסיטת טרנט]], [[קנדה]]. מפורסם תחת רישיון [[הרישיון לשימוש חופשי במסמכים של גנו|GFDL]].
* ''[http://www.cs.biu.ac.il/~tsaban/Pdf/logicintro.pdf מבוא ללוגיקה מתמטית]'' חובר על ידי בועז צבאן מהמחלקה למתמטיקה, [[אוניברסיטת בר-אילן]], הספר מכיל רקע ותרגילים לנושא תחשיב הפסוקים ולוגיקה מסדר ראשון. נכתב במקור על פי מערכי שיעורים של [[פרופסור]] חיים יהודה.
* [http://us2.metamath.org:88/mpegif/mmset.html Metamath Proof Explorer]: מאגר של משפטים מתמטיים עם הוכחות מלאות בעזרת לוגיקה מתמטית.
 
[[קטגוריה:לוגיקה]]
833

עריכות