* [[תרגול 1 תשעז|תרגול 1]] - לוגיקה 1
* [[תרגול 2 תשעז|תרגול 2]] - לוגיקה 2
* [[תרגול 3 תשעז|תרגול 3]]- קבוצות קשרים שלמות. CNF, DNF.* [[תרגול 4 תשעז|תרגול 4 (אינדוקציה)]]- אינדוקציה* [[תרגול 5 תשעז|תרגול 5]]- קבוצות 1* [[תרגול 6 תשעז|תרגול 6]]- קבוצות 2* [[מדיה: 17BdidaT7.pdf|תרגול 7]]- קבוצות 3 + הכלה והדחה* [[תרגול 8 תשעז|תרגול 8]]- מבוא ליחסים* [[תרגול 9 תשעז|תרגול 9]]- יחסי סדר
* [[תרגול 10 תשעז|תרגול 10]]
* [[תרגול 11 תשעז|תרגול 11]]
* [[תרגול 12 תשעז|תרגול 12]]