שינויים
[http://u.cs.biu.ac.il/~tsaban/Pdf/Recursion.pdf מטלת קריאה ראשונה בקורס]: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).
==רשימת הנושאים שכיסינו בתרגול==
קבוצות סדורות. סדר צפוף. סדר טוב.
תת קבוצות קופינליות.
פונקציות שומרות סדר, איזומורפיזם סדר.
סודרים (הגדרה ותכונות).
סודרים עוקבים וגבוליים.
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
פונקציות מונוטוניות ורציפות.
טופולוגיית הסדר.
אקסיומות zf.
אקסיומת הבחירה ושיקולים: עקרון הסדר הטוב, הלמה של צורן.
עוצמות וסודרים מונים.
ארתמטיקה של עוצמות.
קופינליות של סודרים.
==בוחן==
==תקציר הקורס==
[http://u.cs.biu.ac.il/~tsaban/Pdf/STLectures.pdf תקציר הקורס המתעדכן]. מתעדכן מדי הרצאה, ולכן לא מומלץ להורידו אלא לקרוא תמיד מהקישור. [http://u.cs.biu.ac.il/~tsaban/Pdf/LebMsrPb.pdf בעיית המידה של לבג]. סיכום בסגנון קצת שונה מאיך שהצגנו בהרצאה, אבל ההרצאה הלכה לפיו, והמתמטיקה זהה. כולל פרק בונוס, "עוד על מונים מדידים".
==תרגילים==
[[מדיה:settheoryex112019.pdf|תרגיל 11]]
הערה: בשאלה 3 א' יש לדרוש: <math>\kappa>0</math>.
[[מדיה:settheoryex122019.pdf|תרגיל 12]] תרגיל רשות
יש להגיש את כל התרגילים החסרים עד 19.01, על מנת שאוכל להעלות לכם פתרונות לפני המבחן.
==העשרה==
