כתיבת הוכחות בתורת הקבוצות

מבוא לקורס
פרק 1 - תחשיב היחסים בשילוב תורת הקבוצות ולהפך
תורת הקבוצות כחלק מתחשיב היחסים
2 תרגולים
תרגול – תורת הקבוצות כחלק מתחשיב היחסים
תרגול – טענות פשוטות ומורכבות
נב”כים בשילוב תורת הקבוצות
3 שיעורים | 3 תרגולים
יצירת נב”כים של תחשיב היחסים – עם טענות מקבוצות
תרגול – הגדרה אינדוקטיבית של נב”כ בשפת היחסים בשילוב תורת הקבוצות
ניתוח נב”כים עם טענות מקבוצות
תרגול קשר/כמת ראשי וניתוח נב”כ נתון עם תורת הקבוצות
נב”כ או לא? עם טענות מתורת הקבוצות
נב”כ או לא? יחסים בשילוב עם קבוצות
תבניות נב”כ בשילוב תורת הקבוצות
3 שיעורים | 3 תרגולים
הצבה בתבניות נב”כ של תחשיב היחסים – טענות מקבוצות
תרגול – הצבה בתבניות נב”כ טענות מקבוצות
יצירת תבניות נב”כים עם טענות מקבוצות – הכללה
תרגול יצירת תבנית מנב”כ נתון – יחסים עם תורת הקבוצות
התאמה בין תבניות לנב”כים עם טענות מקבוצות
תרגול זיהוי התאמה לתבנית של נבכ – יחסים עם תורת הקבוצות
כתיבת קבוצה באופן אינטנציונלי – בשילוב יחסים
1 תרגול
תרגול – כתיבה אינטנציונלית (שילוב עם יחסים)
הצרנות של תחשיב היחסים בשילוב תורת הקבוצות
3 שיעורים | 4 תרגולים
שייכות לקבוצה במקום יחס
תרגול – שייכות לקבוצה במקום יחס
תרגול – תרגום חזרה לשפה טבעית
לכל וקיים – שילוב של 2 הכמתים ביחד
תרגול – לכל וקיים – שילוב של 2 הכמתים
לכל וקיים – כתיבה מקוצרת עם קבוצות
תרגול – לכל וקיים – כתיבה מקוצרת עם קבוצות
פרק 2 - חזרה לקבוצות בצורה מתקדמת
כתיבת קבוצה באופן אינטנציונלי – מתקדם
4 שיעורים | 4 תרגולים
עם עצמים מתמטיים
תרגול – כתיבה אינטנציונלית עם עצמים מתמטיים
תוך כדי שימוש בכמתי לכל וקיים
תרגול – כתיבה אינטנציונלית תוך שימוש בלכל וקיים
עם לכל וקיים וקבוצות מספרים
תרגול – כתיבה אינטנציונלית עם לכל וקיים וקבוצות מספרים
עם תבנית שם-עצם
תרגול – כתיבה אינטנציונלית עם תבנית שם-עצם
שייכות לקבוצה – מתקדם
2 שיעורים | 2 תרגולים
שייכות לקבוצה המוגדרת באופן אינטנציונלי
תרגול – שייכות לקבוצה המוגדרת באופן אינטנציונלי
שייכות לקבוצה המוגדרת באופן אינטנציונלי עם תבנית שם-עצם
תרגול – שייכות לקבוצה המוגדרת באופן אינטנציונלי עם תבנית שם-עצם
סימני יחס ופעולות
4 שיעורים | 6 תרגולים
הגדרות פורמליות בתורת הקבוצות ובפונקציות
תרגול – הגדרות
פישוט והרכבה
תרגול – פישוט – מתורת הקבוצות לתחשיב היחסים עם שייכות
תרגול – הרכבה – מנב”כים עם שייכות לתורת הקבוצות
שקילויות לוגיות של תחשיב הפסוקים עם תורת הקבוצות
שקילויות לוגיות של תחשיב הפסוקים עם תורת הקבוצות
שקילויות לוגיות של תחשיב היחסים עם תורת הקבוצות
תרגול – שקילויות לוגיות של תחשיב היחסים עם תורת הקבוצות
תרגול – הצרנה רק עם תורת הקבוצות – טקסונומיה
הוכחות במתמטיקה
1 תרגול
תרגול – הוכחות במתמטיקה
הוכחות בתורת הקבוצות
7 שיעורים
תת-קבוצה
הוכחה או הפרכה בתורת הקבוצות
עוד הוכחות עם תת-קבוצה
תת-קבוצה ממש
שיוויון – הוכחה עם שקילויות
שיוויון – הוכחה באמצעות “זהויות”
שיוויון – הוכחה באמצעות הכלה דו-כיוונית, המשפט ודוגמא
פרק 3 - התאמה לקלקולים באקדמיה
בעיות בהתנסחויות
1 תרגול
תרגול – בעיות בהתנסחויות
תרגום הוכחות סיפוריות לדדוקציה טבעית
כתיבה בדדוקציה עבור קוראים שלא יודעים דדוקציה
סוף
סיכום
הנושא הבא

מבוא לקורס

כתיבת הוכחות בתורת הקבוצות מבוא לקורס
חזרה לקורס
הנושא הבא
0 0 דירוגים
דירוג הפוסט
הרשם
עידכון ש-
0 תגובות
Inline Feedbacks
צפה בכל התגובות
שלח תגובה

השאר תגובה

האימייל לא יוצג באתר. שדות החובה מסומנים *

כדי לקבל גישה לשיעור