88-202 תשעח סמסטר א: הבדלים בין גרסאות בדף
| (גרסת ביניים אחת של אותו משתמש אינה מוצגת) | |||
| שורה 81: | שורה 81: | ||
[[מדיה: settheory2018Exe8.pdf|תרגיל 8]] | [[מדיה: settheory2018Exe8.pdf|תרגיל 8]] | ||
[[מדיה: settheory2018Sol8.pdf|פתרון]] | |||
הגשה: 07.01 | הגשה: 07.01 | ||
[[מדיה: settheory2018Exe9.pdf|תרגיל 9]] | [[מדיה: settheory2018Exe9.pdf|תרגיל 9]] | ||
[[מדיה: settheory2018Sol9.pdf|פתרון]] | |||
הגשה: 14.01 | הגשה: 14.01 | ||
[[מדיה: settheory2018Exe10.pdf|תרגיל 10]] | [[מדיה: settheory2018Exe10.pdf|תרגיל 10]] | ||
[[מדיה: settheory2018Sol10.pdf|פתרון]] | |||
הגשה: 21.01 | הגשה: 21.01 | ||
גרסה אחרונה מ־16:06, 7 בפברואר 2018
מרצה: אסף רינות.
מתרגלת: תמר בר-און.
שעות קבלה: בתיאום מראש במייל:
tamarnachshoni@gmail.com
הודעות
ביום ראשון, 19.11 לא יתקיים תרגול.
תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב[math]\displaystyle{ P(S) }[/math] .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת באיחוד S.
בוחן
הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.
הבוחן אינו מגן!
חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.
מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.
בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.
בהצלחה!
תרגילי בית
הגשה: 29.10
הגשה: 05.11
הגשה: 12.11
הגשה: 26.11
הגשה: 03.12
(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)
הגשה: 10.12
הגשה: 31.12
הגשה: 07.01
הגשה: 14.01
הגשה: 21.01
ציונים
מערכי תרגול
מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.
מומלץ לקרוא
(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.)
אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?