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

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

עריכות