Blir ogs? repetisjonstime TIRSdag 13. juni

Noen ?nsket enda en repetisjonstime TIRSdag 13. juni.

?nske: 1. Induktive teoremer i formler med flere variable.   2. Maude-modellering.  Send gjerne email med andre ting jeg burde snakke om.   Ellers er dette en ogs? en god anledning til ? sp?rre og snakke om alt mulig man ?nsket ? vite men aldri turte ? sp?rre.  N?r det gjelder (1), tror jeg ikke det er eksamensoppgaver som dekker dette, med unntak av romertallene. Vi kan heller se p? kommutativitet og assosiativitet av addisjon i NAT-ADD og oppgavene 91 og 95.2 i l?reboken.  N?r det gjelder (2) var det ?nske om ? se p? eksamen 2022, oppgavene 2 og 3, og for eksempel eksamen 2009, oppgave 2.