שינויים
* תרגול 1 - לוגיקה: [[מדיה:BS80Les1Ariel.pdf|סיכום]], [https://youtu.be/MxSlgns6RnI סרטון]
* תרגול 2 - פרדיקטים ואינדוקציה: [[מדיה:BS80Les2Ariel.pdf|סיכום]]לצערי נמחק הסיכום, [https://youtu.be/Tl5pGrvIwgo סרטון]
* תרגול 3 - קבוצות: [[מדיה:BS80Les3Ariel.pdf|סיכום]], [https://youtu.be/fM-wMEyuSis סרטון]
