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.)