הבדלים בין גרסאות בדף "88-195 מתמטיקה בדידה/סילבוס"
מתוך Math-Wiki
(יצירת דף עם התוכן "== סילבוס לקורס == (טיוטה, יולי 2012) # לוגיקה: כשרים וכמתים, שלילת טענות, הגדרות # לוגיקה: הוכחו...") |
|||
| שורה 11: | שורה 11: | ||
# עוצמות. קבוצות סופיות. תנאים שקולים עבור קבוצה אינסופית, המלון של הילברט, משפט האלכסון הראשון של קנטור. | # עוצמות. קבוצות סופיות. תנאים שקולים עבור קבוצה אינסופית, המלון של הילברט, משפט האלכסון הראשון של קנטור. | ||
# משפט קנטור-שרדר-ברנשטיין, משפטי השוואת עוצמות, אלף אפס קטן מאלף. | # משפט קנטור-שרדר-ברנשטיין, משפטי השוואת עוצמות, אלף אפס קטן מאלף. | ||
| − | # שוויון עוצמות של קטעים בממשיים, קבוצת הסדרות האינסופיות של הטבעיים, אריתמטיקה של עוצמות ( | + | # שוויון עוצמות של קטעים בממשיים, קבוצת הסדרות האינסופיות של הטבעיים, אריתמטיקה של עוצמות (כולל חזקות). |
# שרשראות והלמה של צורן. משפט המכפלה ומסקנות, חזקות של עוצמות, משפט קנטור, השערת הרצף. | # שרשראות והלמה של צורן. משפט המכפלה ומסקנות, חזקות של עוצמות, משפט קנטור, השערת הרצף. | ||
# אינדוקציה, קומבינטוריקה בסיסית. מקדמים בינומים ומולטינומיים. | # אינדוקציה, קומבינטוריקה בסיסית. מקדמים בינומים ומולטינומיים. | ||
גרסה מ־14:15, 11 ביולי 2012
סילבוס לקורס
(טיוטה, יולי 2012)
- לוגיקה: כשרים וכמתים, שלילת טענות, הגדרות
- לוגיקה: הוכחות, הפרכות, דוגמא נגדית, שגיאות
- קבוצות, פעולות וקבוצת חזקה.
- מכפלה קרטזית, יחסים, גרפים (סופיים), יחסי שקילות וחלוקות, מנה של קבוצה ביחס ליחס שקילות
- יחסי סדר, איברים מקסימלים, מינימלים, קטן ביותר..., דיאגרמות הסה, שריגים.
- פונקציות, פונקציות חד-חד-ערכיות ועל, הרכבת פונקציות, פונקציה הפכית, סדרות.
- עוצמות. קבוצות סופיות. תנאים שקולים עבור קבוצה אינסופית, המלון של הילברט, משפט האלכסון הראשון של קנטור.
- משפט קנטור-שרדר-ברנשטיין, משפטי השוואת עוצמות, אלף אפס קטן מאלף.
- שוויון עוצמות של קטעים בממשיים, קבוצת הסדרות האינסופיות של הטבעיים, אריתמטיקה של עוצמות (כולל חזקות).
- שרשראות והלמה של צורן. משפט המכפלה ומסקנות, חזקות של עוצמות, משפט קנטור, השערת הרצף.
- אינדוקציה, קומבינטוריקה בסיסית. מקדמים בינומים ומולטינומיים.
