שינויים

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

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

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