88-202 תשעו סמסטר א: הבדלים בין גרסאות בדף
(40 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 9: | שורה 9: | ||
tamarnachshoni@gmail.com | tamarnachshoni@gmail.com | ||
==צפיה מהנה! == | |||
[https://xkcd.com/435/ מתמטיקה] | |||
==הודעות== | ==הודעות== | ||
ביום ראשון, 25/10 אין הרצאה, ולכן גם לא יתקיים תרגול. | ביום ראשון, 25/10 אין הרצאה, ולכן גם לא יתקיים תרגול. | ||
ביום ראשון, 20.12 בשעה 9 בבוקר, יתקיים בוחן בעז"ה. | |||
החומר: כל מה שעשינו עד תרגול 6, כולל. | |||
לאחר הבוחן תתקיים ההרצאה. | |||
שימו לב: הבוחן יכול לכלול גם שאלות חדשות (לא משיעורי הבית ומהתרגולים) | |||
===שיעור חזרה=== | |||
ביום חמישי, 04.02 ב12 יתקיים בעז"ה שיעור חזרה בחדר מחלקה. | |||
==פתרון הבוחן== | |||
[[מדיה: settheory2016quiz.pdf|הבוחן]] | |||
[[מדיה: settheory2016quizsol.pdf|והפתרון]] | |||
[[מדיה: settheory2016gradesquiz.ods|ציונים]] | |||
==תרגולים== | ==תרגולים== | ||
שורה 27: | שורה 50: | ||
[[מדיה: settheory2016tir4.pdf|תרגול 4]] | [[מדיה: settheory2016tir4.pdf|תרגול 4]] | ||
[[מדיה: settheory2016tir5.pdf|תרגול 5]] | |||
[[מדיה: settheory2016tir6.pdf|תרגול 6]] | |||
[[מדיה: settheory2016tir7.pdf|תרגול 7]] | |||
[[מדיה: settheory2016tir8.pdf|תרגול 8]] | |||
[[מדיה: settheory2016tir9.pdf|תרגול 9]] | |||
[[מדיה: settheory2016tir10.pdf|תרגול 10]] | |||
[[מדיה: settheory2016tir11.pdf|תרגול 11]] | |||
[[מדיה: settheory2016tir11.2.pdf|הוכחת משפט רמזי]] | |||
==תרגילי בית== | ==תרגילי בית== | ||
שורה 39: | שורה 78: | ||
[[מדיה: settheory2016exe2.pdf|תרגיל 2]] | [[מדיה: settheory2016exe2.pdf|תרגיל 2]] | ||
[[מדיה: settheory2016exe2sol.pdf|תרגיל 2- פתרון]] | |||
הגשה: ב8 לנובמבר | הגשה: ב8 לנובמבר | ||
שורה 50: | שורה 91: | ||
[[מדיה: settheory2016exe3.pdf|תרגיל 3]] | [[מדיה: settheory2016exe3.pdf|תרגיל 3]] | ||
[[מדיה: settheory2016exe3sol.pdf|תרגיל 3- פתרון]] | |||
הגשה: ב15 לנובמבר | הגשה: ב15 לנובמבר | ||
[[מדיה: settheory2016exe4.pdf|תרגיל 4]] | [[מדיה: settheory2016exe4.pdf|תרגיל 4]] | ||
[[מדיה: settheory2016exe4sol.pdf|תרגיל 4- פתרון]] | |||
הגשה: ב22 לנובמבר | הגשה: ב22 לנובמבר | ||
שורה 60: | שורה 105: | ||
[[מדיה: settheory2016exe5.pdf|תרגיל 5]] | [[מדיה: settheory2016exe5.pdf|תרגיל 5]] | ||
[[מדיה: settheory2016exe5sol.pdf|תרגיל 5- פתרון]] | |||
הגשה: ב29 לנובמבר. | הגשה: ב29 לנובמבר. | ||
הערה | הערה לשאלה 5: יש ספרים שבהם מגדירים את הקופינליות של סודר a להיות הסודר המינימלי כך שעבורו יש סדרה עולה שמתכנסת לa. בתרגיל אתם מראים ששתי ההגדרות האלו שקולות. | ||
הערה | הערה לשאלה 6: הגדירו בנפרד מה הפו' עושה לסודר עוקב כתלות בסודר הקודם לו, ומה היא עושה לסודר גבולי כתלות בכל הסודרים שלפניו. (אתם יכולים להגדיר באופן ישיר, אין צורך בפונקציות מחלקה). לאחר מכן הוכיחו באינדוקציה טרנספיניטית שהפו' שהגדרתם אכן שווה לפו' המבוקשת. | ||
'''תיקון לשאלה 5'''- צריך לדרוש שאלפא גבולי. | |||
[[מדיה: settheory2016exe6.2.pdf|תרגיל 6]] | |||
[[מדיה: settheory2016exe6sol.pdf|תרגיל 6- פתרון]] | |||
תאריך הגשה: מכיוון שלא הספקנו לתרגל את הלמה של צורן, אתם יכולים להגיש בעוד שני תרגולים. אבל בשבוע הבא יהיה תרגיל בית חדש בעז"ה, לכן לא מומלץ לחכות עם התרגיל. בנוסף, החומר של התרגיל הנוכחי הוא לבוחן. | |||
שימו לב: הייתה טעות בתרגיל 6 שאלה 1 סעיף ג'. העליתי גרסא חדשה. | |||
[[מדיה: settheory2016exe7.pdf|תרגיל 7]] | |||
הגשה: ב27 לדצמבר. | |||
[[מדיה: settheory2016exe7sol.pdf|תרגיל 7- פתרון]] | |||
[[מדיה: settheory2016exe8.pdf|תרגיל 8]] | |||
הגשה: ב03/01 | |||
[[מדיה: settheory2016exe8sol.pdf|תרגיל 8- פתרון]] | |||
[[מדיה: settheory2016exe9.pdf|תרגיל 9]] | |||
הגשה: ב 10/01. | |||
[[מדיה: settheory2016exe9sol.pdf|תרגיל 9- פתרון]] | |||
[[מדיה: settheory2016exe10.pdf|תרגיל 10]] | |||
תיקון: ב1.ד יש לדרוש <math>\alpha</math> גבולי | |||
כמו כן, <math>f:\omega_2\to\omega_2</math> | |||
הגשה: ב17/01 | |||
[[מדיה: settheory2016exe10sol.pdf|תרגיל 10- פתרון]] | |||
[[מדיה: settheory2016exe11.pdf|תרגיל 11]] | |||
הגשה: ב24/01. | |||
[[מדיה: settheory2016exe11sol.pdf|תרגיל 11- פתרון]] | |||
==ציוני תרגיל== | ==ציוני תרגיל== | ||
שורה 82: | שורה 173: | ||
[http://www.gadial.net/2011/05/30/ordinals_formal_definitions/ סודרים- התיאור הפורמלי] | [http://www.gadial.net/2011/05/30/ordinals_formal_definitions/ סודרים- התיאור הפורמלי] | ||
[http://www.gadial.net/2012/06/04/choice_order_zorn/ אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?] | |||
[http://www.gadial.net/2007/07/04/axiom_of_choice/ לבחור או לא לבחור – זו השאלה] | |||
[http://www.gadial.net/2007/07/09/nonconstructive_proofs_vector_space_basis/ בסיס מוצק מי ימצא] | |||
[http://www.gadial.net/2013/09/10/axiom_of_choice_guessing_riddles/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל] |
גרסה אחרונה מ־09:17, 7 בפברואר 2016
מרצה: אסף רינות.
מתרגלת: תמר נחשוני.
שעות קבלה: בתיאום מראש במייל:
tamarnachshoni@gmail.com
צפיה מהנה!
הודעות
ביום ראשון, 25/10 אין הרצאה, ולכן גם לא יתקיים תרגול.
ביום ראשון, 20.12 בשעה 9 בבוקר, יתקיים בוחן בעז"ה.
החומר: כל מה שעשינו עד תרגול 6, כולל.
לאחר הבוחן תתקיים ההרצאה.
שימו לב: הבוחן יכול לכלול גם שאלות חדשות (לא משיעורי הבית ומהתרגולים)
שיעור חזרה
ביום חמישי, 04.02 ב12 יתקיים בעז"ה שיעור חזרה בחדר מחלקה.
פתרון הבוחן
תרגולים
תודה לערן שטיין על הסיכומים!
המתרגלת לא לוקחת אחריות עליהם.
תרגילי בית
חובת הגשה: 8 תרגילים. תתבצע בדיקה מדגמית.
הגשה: ב1 לנובמבר
הגשה: ב8 לנובמבר
בכל מקום שכתוב בתרגיל "רישא" הכוונה לרישא אמיתית.
הבהרה לשאלה 5: (tc(A הוא האיחוד של כל הAnים בסדרה.
הערה: במהלך התרגול עלתה השאלה "אם כל רישא שווה לאיבר שקובע אותה, אז למה בכלל צריך את ההגדרה של רישא?". אני מקווה שבש"ב תמצאו תשובה לשאלה:)
הגשה: ב15 לנובמבר
הגשה: ב22 לנובמבר
שימו לב: שאלה 6.א. היא הטענה שהשתמשנו בה בשאלה האחרונה בתרגול.
הגשה: ב29 לנובמבר.
הערה לשאלה 5: יש ספרים שבהם מגדירים את הקופינליות של סודר a להיות הסודר המינימלי כך שעבורו יש סדרה עולה שמתכנסת לa. בתרגיל אתם מראים ששתי ההגדרות האלו שקולות.
הערה לשאלה 6: הגדירו בנפרד מה הפו' עושה לסודר עוקב כתלות בסודר הקודם לו, ומה היא עושה לסודר גבולי כתלות בכל הסודרים שלפניו. (אתם יכולים להגדיר באופן ישיר, אין צורך בפונקציות מחלקה). לאחר מכן הוכיחו באינדוקציה טרנספיניטית שהפו' שהגדרתם אכן שווה לפו' המבוקשת.
תיקון לשאלה 5- צריך לדרוש שאלפא גבולי.
תאריך הגשה: מכיוון שלא הספקנו לתרגל את הלמה של צורן, אתם יכולים להגיש בעוד שני תרגולים. אבל בשבוע הבא יהיה תרגיל בית חדש בעז"ה, לכן לא מומלץ לחכות עם התרגיל. בנוסף, החומר של התרגיל הנוכחי הוא לבוחן.
שימו לב: הייתה טעות בתרגיל 6 שאלה 1 סעיף ג'. העליתי גרסא חדשה.
הגשה: ב27 לדצמבר.
הגשה: ב03/01
הגשה: ב 10/01.
תיקון: ב1.ד יש לדרוש [math]\displaystyle{ \alpha }[/math] גבולי
כמו כן, [math]\displaystyle{ f:\omega_2\to\omega_2 }[/math]
הגשה: ב17/01
הגשה: ב24/01.
ציוני תרגיל
הקובץ יתעדכן מדי שבוע, בעז"ה.
הפינה שבה אני מעלה דברים קשורים
כהרגלנו בקודש נעזר בגדי אלכסנדרוביץ המהולל ובבלוג שלו "לא מדויק", כדי לקבל קצת אינטואיציה לדברים.