88-202 תשעח סמסטר א: הבדלים בין גרסאות בדף
אין תקציר עריכה |
|||
| שורה 99: | שורה 99: | ||
[[מדיה: settheory2016tir11.2.pdf|הוכחת משפט רמזי]] | [[מדיה: settheory2016tir11.2.pdf|הוכחת משפט רמזי]] | ||
==מומלץ לקרוא== | |||
(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי. | |||
[http://www.gadial.net/2011/05/23/cantor_inventing_ordinals/ איך קנטור המציא את הסודרים?] | |||
[http://www.gadial.net/2011/05/25/ordinals_overview/ סודרים- מה זה בכלל?] | |||
[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/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל] | |||
גרסה מ־14:16, 10 בדצמבר 2017
מרצה: אסף רינות.
מתרגלת: תמר בר-און.
שעות קבלה: בתיאום מראש במייל:
tamarnachshoni@gmail.com
הודעות
ביום ראשון, 19.11 לא יתקיים תרגול.
בוחן
הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.
הבוחן אינו מגן!
חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.
מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.
בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.
בהצלחה!
תרגילי בית
הגשה: 29.10
הגשה: 05.11
הגשה: 12.11
הגשה: 26.11
הגשה: 03.12
(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)
הגשה: 10.12
הגשה: 31.12
ציונים
מערכי תרגול
מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.
מומלץ לקרוא
(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.