שינויים

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

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