שינויים
/* תרגילי בית */
מרצה: אסף רינות.פרופ' בועז צבאן
מתרגלת: תמר נחשוניבר און.
שעות קבלה: בתיאום מראש במייל:
tamarnachshoni@gmail.com
==צפיה מהנה! הודעות ==* ביום שני, 23.1.2017, לא תתקיים הרצאה.
ביום ראשון 01.01 תתקיים בחדר התרגול הרצאה במקום תרגיל.
הבוחן יתקיים ביום שני 02.01 בשעה 1 (בזמן ההרצאה, בחדר של ההרצאה).
והינה [[מדיה: settheory2016quizsettheory2017quiz.pdf|הבוחן]][[מדיה: settheory2016quizsol.pdf|והפתרון]]
[[מדיה: settheory2017quizsol.pdf|ופתרונו]]
[[מדיה: settheory2016tir2settheory2017exe1.pdf|תרגול 2תרגיל 1]]
[[מדיה: settheory2016tir4settheory2017sol1.pdf|תרגול 4תרגיל 1- פתרון]]
[[מדיה: settheory2016tir5settheory2017exe2.pdf|תרגול 5תרגיל 2]]
[[מדיה: settheory2016tir7settheory2017sol2.pdf|תרגול 7תרגיל 2- פתרון]]
[[מדיה: settheory2016tir8settheory2017exe3.pdf|תרגול 8תרגיל 3]]
[[מדיה: settheory2016tir10settheory2017sol3.pdf|תרגול 10תרגיל 3- פתרון]]
[[מדיה: settheory2016tir11settheory2017exe4.pdf|תרגול 11תרגיל 4]]
[[מדיה: settheory2017exe5.pdf|תרגיל 5]]
תאריך הגשה: 11.12
[http[מדיה://wwwsettheory2017sol6.gadial.net/2011/05/30/ordinals_formal_definitions/ סודריםpdf|תרגיל 6- התיאור הפורמליפתרון]]
[http[מדיה://wwwsettheory2017exe7.gadial.net/2012/06/04/choice_order_zorn/ אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?pdf|תרגיל 7]]
[http[מדיה://wwwsettheory2017exe8.gadial.net/2007/07/09/nonconstructive_proofs_vector_space_basis/ בסיס מוצק מי ימצאpdf|תרגיל 8]]
תאריך הגשה: 22.01 יום ראשון, 22.01- השבוע לא ינתנו ש"ב. ==ציונים== את הציונים ניתן לקרוא לפי 4 ספרות אחרונות של תעודת הזהות. הקובץ יתעדכן במהלך הסמסטר. [[מדיה: settheory2017grades.ods|ציוני תרגיל]] ==חומרי הרצאה== [http://www.math.biu.ac.il/~tsaban/Pdf/STLectures77.pdf ראשי פרקים של ההרצאה]. מתעדכן תמיד. לא להוריד ולא להדפיס, כדי שלא תפספסו את העדכונים. תמיד לקרוא מכאן. [http://www.math.biu.ac.il/~tsaban/Pdf/Recursion.pdf הוכחת משפט הרקורסיה] (עם בונוס). סקירה מקיפה על [[הלמה של צורן | הלמה של צורן ושימושיה במתמטיקה]]. == הפינה שבה תמר מעלה דברים קשורים== כהרגלנו בקודש נעזר בגדי אלכסנדרוביץ ובבלוג שלו "לא מדויק", כדי לקבל קצת אינטואיציה לדברים. [http://www.gadial.net/20132011/0905/1023/axiom_of_choice_guessing_riddlescantor_inventing_ordinals/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כלקנטור המציא את הסודרים?] [http://www.gadial.net/2011/05/25/ordinals_overview/ סודרים- מה זה בכלל?] [http://www.gadial.net/2011/05/30/ordinals_formal_definitions/ סודרים- התיאור הפורמלי]