שינויים

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

סילבוסים

נוספו 4 בתים, 13:16, 13 במאי 2015
# השוואת עוצמות: שויון עוצמות, קבוצה סופית/אינסופית, המלון של הילברט; השוויון מוגדר היטב, רפלקסיבי וטרנזיטיבי; אי-שוויון בין עוצמות ועקרון שובך היונים (כולל דוגמאות קומבינטוריות); קב' בת-מניה, אלף-אפס הוא הקטן מכל העוצמות האינסופיות, הקשר בין עוצמות כשיש פונקציה על, משפט קנטור-ברנשטיין. עוצמת הרציונלים, איחוד בן-מניה של קבוצות בנות-מניה הוא בן-מניה. משפט קנטור על עוצמת קבוצת החזקה. עוצמת הרצף.
# חזקות של עוצמות: חזקת עוצמות, פונקציות אופייניות, העוצמה של קבוצת החזקה, עוצמת הרצף, תכונות בסיסיות של חזקות של עוצמות, עוצמה של איחוד משפחה של קבוצות.
# הלמה של צורן (כאקסיומה, ללא הוכחה), משפט הסכום והמכפלה של עוצמות: שרשרת בסדר חלקי, [[הלמה של צורן ]] (עבור סדר חלקי ועבור משפחת קבוצות עם הכלה), מלאות אי"ש עוצמות, סכום עוצמות, מכפלת עוצמות.
#תורת הגרפים - מבוא ומסלולי אוילר: גרף (לא מכוון, בלי לולאות) כיחס סימטרי, התיאור הקונבציונלי כקבוצה עם אוסף זוגות לא סדורים, תת-גרף, שכן, משפט לחיצת הידיים, מסלול, גרף קשיר, רכיבי קשירות, מסלול אוילר, מעגל אוילר, בעיית הגשרים של קניגסברג, קריטריון לקיום מסלול אוילר, מסלול ומעגל המילטוני.
#משפחות מיוחדות של גרפים: גרף שלם ומס' צלעותיו, גרף דו-צדדי, גרף דו-צדדי שלם ומס' צלעותיו, עץ, יער, עלה, תנאים שקולים לעץ.
19
עריכות