לוגיקה מתמטית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: tg:Мантиқи риёзӣ |
מ בוט מוסיף: ro:Logică matematică; שינויים קוסמטיים |
||
שורה 23:
תהליך הוכחה [[ריגורוזי]] מלא בלוגיקה פורמלית כולל את [[הצרנה|הצרנת]] הטענות ל[[תחשיב שפה]] לוגי בעלי כללי דקדוק חד-משמעיים ואז ניתוחן לפי כללי היסק מוגדרים מראש ובדיקת תקפות המעברים. בדיקת תקפות המעברים היא אידאלית עבור [[מחשב]]. מכיוון שטענות שמוצרנות במלואן הן בלתי קריאות בפועל עבור בני אדם ומתמטיקאים, הוכחת [[משפט (מתמטיקה)|משפטים]] עדיין נעשיית על ידי מתמטיקאים בשפה שהיא שילוב בין השפה היום-יומית לנוסחאות מתמטיות והצרנה לוגית חלקית.
== ראו גם ==
* [[תחשיב פסוקים]]
== קישורים חיצוניים ==
* ''[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 מבוא ללוגיקה מתמטית]'' חובר על ידי בועז צבאן מהמחלקה למתמטיקה, [[אוניברסיטת בר-אילן]], הספר מכיל רקע ותרגילים לנושא תחשיב הפסוקים ולוגיקה מסדר ראשון. נכתב במקור על פי מערכי שיעורים של [[פרופסור]] חיים יהודה.
[[קטגוריה: לוגיקה]]▼
[[קטגוריה:
[[en:Mathematical logic]]
שורה 64 ⟵ 65:
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]
| |||