[http://u.cs.biu.ac.il/~tsaban/Pdf/Recursion.pdf מטלת קריאה ראשונה בקורס]: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).
==רשימת הנושאים שכיסינו בתרגול==
קבוצות סדורות. סדר צפוף. סדר טוב.
תת קבוצות קופינליות.
פונקציות שומרות סדר, איזומורפיזם סדר.
סודרים (הגדרה ותכונות).
סודרים עוקבים וגבוליים.
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
פונקציות מונוטוניות ורציפות.
טופולוגיית הסדר.
אקסיומות zf.
אקסיומת הבחירה ושיקולים: עקרון הסדר הטוב, הלמה של צורן.
עוצמות וסודרים מונים.
ארתמטיקה של עוצמות.
קופינליות של סודרים.
==בוחן==