Eksamensoppgaver som skal gjennomgås: likhetslogikk og temporallogikk

Studentønsker om likhetslogikk/induktive teoremer og likhetslogikk, så vi gjennomgår (i rekkefølge, tror jeg) eksamen 2021, oppgave 3 (likhetslogikk); midterm eksamen 2008, oppgave 4 (likhetslogikk); eksamen 2012, oppgave 1a, 1d og 1e (likhetslogikk); eksamen 2019, oppgave 1g-j (temporallogikk); eksamen i INF4232 2018, oppgave 1g-i (temporallogikk); eksamen INF4232 2014, oppgave 3 (noe temporallogikk); eksamen 2022, oppgave 3 (eventuelt kun 3f og 3g som er likhetslogikk, men god trening å gjøre hele); eksamen 2017, oppgave 1 (likhetslogikk).   Alle eksamensoppgaver er tilgjengelige på olveczky.se/IN2100-23/Exams