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