נושאי הקורס:
- מושגי יסוד בלוגיקה ושיטות הוכחה מתמטיות
- תורת הקבוצות: הגדרות בסיסיות, יחסים, יחס שקילות, יחס סדר, פונקציות עוצמת
- קבוצות ומספרים קרדינליים, שיטת הליכסון של קנטור
- קומבינטוריקה: עקרונות ספירה בסיסיים, הבינום של ניוטון
- עיקרון ההכלה וההפרדה
- משוואות נסיגה
- מורה: שאול-נדב חלק