- תרגול 1 - לוגיקה 1
- תרגול 2 - לוגיקה 2
- תרגול 3 - קבוצות קשרים שלמות. CNF, DNF.
- תרגול 4 - אינדוקציה
- תרגול 5 - קבוצות 1
- תרגול 6 - קבוצות 2
- תרגול 7 - קבוצות 3 + הכלה והדחה
- תרגול 8 - מבוא ליחסים
- תרגול 9 - יחסי סדר
- תרגול 10 - יחסי שקילות 1
- תרגול 11 - יחסי שקילות 2
- תרגול 12 - פונקציות
- תרגול 13 - שונות
- תרגול 14 - עוצמות