88-101 חשיבה מתמטית: הבדלים בין גרסאות בדף
אין תקציר עריכה |
אין תקציר עריכה |
||
| (296 גרסאות ביניים של 10 משתמשים אינן מוצגות) | |||
| שורה 1: | שורה 1: | ||
(דף זה, למרות שמו, אינו שייך לאף קורס במחלקה למתמטיקה.) | |||
ה'''סדנא בחשיבה מתמטית''' מציגה את עקרונות היסוד של הלוגיקה המתמטית, ושניים מהרעיונות המרכזיים במתמטיקה - הגדרה והוכחה. החומר נועד לקריאה עצמית. קיראו אותו לאט, והשתדלו להבין כל פסקה ולפתור את התרגילים. אם אינכם מבינים משהו, נסו לדלג ולחזור אליו מאוחר יותר. הפרקים הראשונים (הצרנה, טבלאות אמת, קשרים, תחשיב הפרדיקטים) מעט טכניים. אל תוותרו בגללם על הפרקים האחרונים - כמתים, הגדרות והוכחות, שבשבילם נכתבה כל הסדנא. | |||
אם יש לכם שאלות, הצעות, השגות והערות אחרות, אתם מוזמנים לכתוב אותם בדף השיחה. | |||
* [[88-101 חשיבה מתמטית - לוגיקה פסוקית|חלק ראשון]] - לוגיקה פסוקית | |||
* [[88-101 חשיבה מתמטית - כמתים|חלק שני]] - כמתים | |||
* [[88-101 חשיבה מתמטית - הגדרות והוכחות|חלק שלישי]] - הגדרות והוכחות | |||
גרסה אחרונה מ־00:25, 22 בספטמבר 2015
(דף זה, למרות שמו, אינו שייך לאף קורס במחלקה למתמטיקה.)
הסדנא בחשיבה מתמטית מציגה את עקרונות היסוד של הלוגיקה המתמטית, ושניים מהרעיונות המרכזיים במתמטיקה - הגדרה והוכחה. החומר נועד לקריאה עצמית. קיראו אותו לאט, והשתדלו להבין כל פסקה ולפתור את התרגילים. אם אינכם מבינים משהו, נסו לדלג ולחזור אליו מאוחר יותר. הפרקים הראשונים (הצרנה, טבלאות אמת, קשרים, תחשיב הפרדיקטים) מעט טכניים. אל תוותרו בגללם על הפרקים האחרונים - כמתים, הגדרות והוכחות, שבשבילם נכתבה כל הסדנא.
אם יש לכם שאלות, הצעות, השגות והערות אחרות, אתם מוזמנים לכתוב אותם בדף השיחה.