הבדלים בין גרסאות בדף "משפטי אי השלימות של גדל (Gödel)"
מתוך Math-Wiki
(יצירת דף עם התוכן "[http://en.wikipedia.org/wiki/First-order_logic לוגיקה מסדר ראשון] הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקור...") |
(אין הבדלים)
|
גרסה מ־13:05, 12 באוקטובר 2011
לוגיקה מסדר ראשון הינה שפת הבסיס של המתמטיקטים כפי שלמדנו בקורס 88-101 חשיבה מתמטית.
