>לוגיקה מתמטית א'
מידע נוסף
מו"ל:
שנה:
1997
דאנאקוד:
45-800103
ISBN:
978-965-350-257-4
עמודים:
94
שפה:
מהדורה:
שנייה
משקל:
650 גר'
כריכה:
רכה

לוגיקה מתמטית א'

תקציר

בלוגיקה המתמטית אנו חוקרים את השפה של המתמטיקה ואת הקשר שלה עם העצמים המתמטיים. השפה שנדון בה כאן היא שפה מתמטית פורמלית, המכילה אותיות לטיניות, סימני פיסוק וסימנים מתמטיים בלבד. עם זאת, נביא גם דוגמאות מן השפה היומיומית הרגילה.

ספר זה בנוי בשני חלקים. חלקו הראשון מעלה נושאים כגון תחשיב הפסוקים, תחביר, הסמנטיקה של תחשיב הפסוקים, תורת הקשרים הפסוקיים, עצים ועצי אמת ומשפט הקומפקטיות, תורת ההיסק ועוד.
בחלקו השני עולים נושאים כדוגמת הגדרות בסיסיות של התחביר והסמנטיקה, היחסים הסמנטיים הבסיסיים, הצבה למשתנים אישיים חופשיים, החלפת משתנים מכומתים, הסמנטיקה של התחשיב מסדר ראשון, תורת ההיסק בתחשיב מסדר ראשון ועוד.

  • ספר מודפס
    $21
    $23
הנחת אתר ספר מודפס
$23 $21
הוספה לסל