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.