Obligatorisk oppgave 2 er nå …

Obligatorisk oppgave 2 er nå lagt ut. Tema er bevis i utsagnslogikk og tolkning av utsagn i predikatlogikk. Se gjerne over oppgaveteksten som en oppvarming til neste ukes forelesninger. Da begynner vi med kapittel 7. Det anbefales sterkt at man har lest avsnitt 7.1 i læreboken før forelesningen tirsdag 26/9.