שינויים
[http://u.cs.biu.ac.il/~tsaban/Pdf/Alephs.pdf מטלת קריאה שניה בקורס]: הוכחת הטענה האחרונה מההרצאה בנושא האלפים, ועוד תכונה של אלפים.
==בוחן==
בוחן בקורס יתקיים ביום ראשון, 16.12, בשעה 14:00-15:30 (בזמן התרגול).
חומר לבוחן: כל מה שנלמד עד תרגול 7, כולל. בפירוט:
קבוצות סדורות. סדר צפוף. סדר טוב.
תת קבוצות קופינליות.
פונקציות שומרות סדר, איזומורפיזם סדר.
סודרים (הגדרה ותכונות).
סודרים עוקבים וגבוליים.
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
פונקציות מונוטוניות ורציפות.
טופולוגיית הסדר.
בבוחן יכולות להופיע שאלות מהתרגול/ מש"ב, כמו גם שאלות חדשות.
==תקציר הקורס==
