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