HUMIT1750MN Høst 2006

Oppgaver til uke 42

 Del 3 av oblig2 var ikke obligatorisk, og vi gjennomgår denne allerede nå.

Videre ser vi på oblig2 fra ifjor (noe av dette vil dere kjenne igjen...) og på oppgave 5 og 6 fra eksamen i fjor.  I oppgave 5 ser vi også på prenex normalform av resultatet.

Hvis det blir tid, kan vi se på oppgaver fra tidligere uker som vi ikke har rukket å gjennomgå.

Og hvis noen har lyst til å prøve seg på flere oversettelsesoppgaver, finnes det mange morsomme her. (OBS: I oversettelsesoppgaver på de fire første sidene er det bare meningen at man skal oversette til utsagnslogikk.  Fra og med side 5 blir man bedt om å oversette til predikatlogikk.)