88-101 חשיבה מתמטית: הבדלים בין גרסאות בדף
(88-101) |
אין תקציר עריכה |
||
| שורה 8: | שורה 8: | ||
# כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס) | # כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס) | ||
# שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית. | # שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית. | ||
# הצרנה, דוגמאות מהחיים | # הצרנה, דוגמאות מהחיים, דוגמאות מהחיים המתמטיים | ||
# כתיבת הוכחה | # כתיבת הוכחה | ||
# מציאת שגיאות בהוכחות | # מציאת שגיאות בהוכחות | ||
גרסה מ־17:08, 12 בפברואר 2011
נושאי הסדנא:
- אינדוקציה
- קשרים: או, וגם
- טבלאות אמת
- טאוטולוגיות, סתירות, חוקי דה-מורגן
- מודוס פוננס, סילוגיזם תקין
- כמתים (לכל, קיים, קיים יחיד, קיימים אינסוף) + כימות יחסי (קיים אפסילון גדול מאפס, לכל אפסילון גדול מאפס)
- שלילת פסוקים, הוכחה בדרך השלילה, הפרכה על-ידי דוגמא נגדית.
- הצרנה, דוגמאות מהחיים, דוגמאות מהחיים המתמטיים
- כתיבת הוכחה
- מציאת שגיאות בהוכחות