שינויים

* תרגול 1 - לוגיקה: [[מדיה:LAS80Les1ArielBS80Les1Ariel.pdf|סיכום]], [https://youtu.be/MxSlgns6RnI סרטון]

* תרגול 2 - פרדיקטים ואינדוקציה: [[מדיה:LAS80Les2ArielBS80Les2Ariel.pdf|סיכום]], [https://youtu.be/Tl5pGrvIwgo סרטון]

* תרגול 3 - קבוצות: [[מדיה:LAS80Les3ArielBS80Les3Ariel.pdf|סיכום]], [https://youtu.be/fM-wMEyuSis סרטון]