מבוא לשפה מתמטית

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