• מבחנים בבדידה

פרק 1 - מבוא ללוגיקה מתמטית

פסוקים, קשרים, כמתים, פרדיקטים

• 88-101 חשיבה מתמטית - טקסט מבוא ללוגיקה מתמטית שנכתב ע"י פרופ' עוזי וישנה

• תרגול בנושא לוגיקה

אינדוקציה

פרק 2 - מבוא לתורת הקבוצות

קבוצות ופעולות על קבוצות

שיטות הוכחה בסיסיות

• שיטות הוכחה בסיסיות

איחוד וחיתוך כלליים

קבוצת החזקה

תרגול

• תרגול בנושא קבוצות

פרק 3 - יחסים

פרק 4 - פונקציות

פרק 5 - עוצמות

פרק 6 - גרפים