88-101 חשיבה מתמטית

נושאי הסדנא:

1. אינדוקציה
2. קשרים: או, וגם
3. טבלאות אמת
4. טאוטולוגיות, סתירות, חוקי דה-מורגן
5. מודוס פוננס, סילוגיזם תקין
6. כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס)
7. שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית.
8. הצרנה, דוגמאות מהחיים (לכל , דוגמאות מהחיים המתמטיים
9. כתיבת הוכחה
10. מציאת שגיאות בהוכחות