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