שינויים

קפיצה אל: ניווט, חיפוש

88-202 תשעז סמסטר א

נוספו 2,279 בתים, 12:34, 10 בנובמבר 2016
יצירת דף עם התוכן "[[88-202 תורת הקבוצות]] מרצה: אסף רינות. מתרגלת: תמר נחשוני. שעות קבלה: בתיאום מראש במייל: tama..."
[[88-202 תורת הקבוצות]]


מרצה: אסף רינות.

מתרגלת: תמר נחשוני.

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

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|הוכחת משפט רמזי]]

==תרגילי בית==



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

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

[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/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל]