88-101 חשיבה מתמטית: הבדלים בין גרסאות בדף

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

גרסה מ־17:08, 12 בפברואר 2011

נושאי הסדנא:

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

דגשים, דוגמאות, הערות ותרגילים

אינדוקציה

קשרים

טבלאות אמת

טאוטולוגיות

מודוס פוננס

כמתים

שלילה

הצרנה

כתיבת הוכחה

מציאת שגיאות