שינויים

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

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