Vi fortsetter med oppgavegjennomgang fredag 29/8. Forelesninger neste uke

Vi fortsetter fredag 29/8 med oppgavene 7 og 8 i oppgavesett 1, og oppgave 1(a,b,d,e, h og i (de to siste temporallogikk, som vi kanskje skal snakke om p? fredag)) i eksamen i IN2100, 2019.  Tenker at jeg ogs? repeteter/introduserer litt temporallogikk.  

Neste uke er det forelesninger om meta-programmering.