88-195 מתמטיקה בדידה/סילבוס
סילבוס לקורס
(טיוטה, יולי 2012)
- לוגיקה: כשרים וכמתים, שלילת טענות, הגדרות
- לוגיקה: הוכחות, הפרכות, דוגמא נגדית, שגיאות
- קבוצות, פעולות וקבוצת חזקה.
- מכפלה קרטזית, יחסים, גרפים (סופיים), יחסי שקילות וחלוקות, מנה של קבוצה ביחס ליחס שקילות
- יחסי סדר, איברים מקסימלים, מינימלים, קטן ביותר..., דיאגרמות הסה, שריגים.
- פונקציות, פונקציות חד-חד-ערכיות ועל, הרכבת פונקציות, פונקציה הפכית, סדרות.
- עוצמות. קבוצות סופיות. תנאים שקולים עבור קבוצה אינסופית, המלון של הילברט, משפט האלכסון הראשון של קנטור.
- משפט קנטור-שרדר-ברנשטיין, משפטי השוואת עוצמות, אלף אפס קטן מאלף.
- שוויון עוצמות של קטעים בממשיים, קבוצת הסדרות האינסופיות של הטבעיים, אריתמטיקה של עוצמות (לא כולל חזקות(/
- שרשראות והלמה של צורן. משפט המכפלה ומסקנות, חזקות של עוצמות, משפט קנטור, השערת הרצף.
- אינדוקציה, קומבינטוריקה בסיסית. מקדמים בינומים ומולטינומיים.