83-116, בדידה 1 להנדסה, מערכי תרגול

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