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