88-101 חשיבה מתמטית
(הופנה מהדף 88-101)
(דף זה, למרות שמו, אינו שייך לאף קורס במחלקה למתמטיקה.)
הסדנא בחשיבה מתמטית מציגה את עקרונות היסוד של הלוגיקה המתמטית, ושניים מהרעיונות המרכזיים במתמטיקה - הגדרה והוכחה. החומר נועד לקריאה עצמית. קיראו אותו לאט, והשתדלו להבין כל פסקה ולפתור את התרגילים. אם אינכם מבינים משהו, נסו לדלג ולחזור אליו מאוחר יותר. הפרקים הראשונים (הצרנה, טבלאות אמת, קשרים, תחשיב הפרדיקטים) מעט טכניים. אל תוותרו בגללם על הפרקים האחרונים - כמתים, הגדרות והוכחות, שבשבילם נכתבה כל הסדנא.
אם יש לכם שאלות, הצעות, השגות והערות אחרות, אתם מוזמנים לכתוב אותם בדף השיחה.