Vi fortsetter imorgen tirsdag 23.5 med de oppgavene fra forrige beskjed vi ikke rakk mandag

Mandag 22.5 ble ferdige med termineringsoppgavene til og med 2021 p? listen i forrige beskjed.  Tirsdag 23.5 gjennomg?r vi gjenv?rende termineringsoppgavene.   Send meg gjerne temaer dere ?nsker ? gjennomg? videre frem mot eksamen.  S? langt har jeg f?tt ?nske om induktive teoremer og temporallogikk.