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