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

גרסה מ־16:40, 12 בנובמבר 2016

88-202 תורת הקבוצות

מרצה: פרופסור בועז צבאן מתרגלת: תמר בר און.

שעות קבלה: בתיאום מראש במייל:

tamarnachshoni@gmail.com

הפינה שבה אני מעלה דברים קשורים

כהרגלנו בקודש נעזר בגדי אלכסנדרוביץ המהולל ובבלוג שלו "לא מדויק", כדי לקבל קצת אינטואיציה לדברים.

איך קנטור המציא את הסודרים?

סודרים- מה זה בכלל?

סודרים- התיאור הפורמלי

@@ שורה 2: / שורה 2: @@
-מרצה: אסף רינות.
+מרצה: פרופסור בועז צבאן
+מתרגלת: תמר בר און.
-מתרגלת: תמר נחשוני.
 שעות קבלה: בתיאום מראש במייל:
@@ שורה 10: / שורה 9: @@
 tamarnachshoni@gmail.com
-==צפיה מהנה! ==
-[https://xkcd.com/435/ מתמטיקה]
-==הודעות==
-==פתרון הבוחן של שנה שעברה==
-[[מדיה: settheory2016quiz.pdf|הבוחן]]
-[[מדיה: settheory2016quizsol.pdf|והפתרון]]
-==תרגולים==
-תודה לערן שטיין על הסיכומים!
-המתרגלת לא לוקחת אחריות עליהם.
-[[מדיה: settheory2016tir1.pdf|תרגול 1]]
-[[מדיה: settheory2016tir2.pdf|תרגול 2]]
-[[מדיה: settheory2016tir3.pdf|תרגול 3]]
-[[מדיה: 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|הוכחת משפט רמזי]]
-==תרגילי בית==
@@ שורה 66: / שורה 21: @@
 [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/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל]