* [[תרגול 2 מדמח קיץ תשעז|תרגול 2]] - המשך לוגיקה וקבוצות
* [[תרגול 3 מדמח קיץ תשעז|תרגול 3]] - אינדוקציה
* [[תרגול 4 מדמח קיץ תשעז|תרגול 4]] - יחסים + יחסי שקילות, [[מדיה:BdidaCS77addEx.pdf|תרגיל נוסף שראינו בתרגול]].
* [[תרגול 5 מדמח קיץ תשעז|תרגול 5]] - יחסי סדר