Dette emnet er erstattet av IN3070 – Logikk.

Semesterside for INF3170 - Høst 2015

Det har ikke kommet inn ønsker om stoff til dagens repetisjonsforelesning. Jeg kommer til å være i forelesningsrommet og svare på spørsmål, men det blir ingen forelesning.

Melde fra dersom det er noe du ønsker jeg skal repetere på torsdagens forelesning.

1. des. 2015 13:10

Evgenij oppdaget en større feil i forelesningsnotat 1 om databaser i logikperspektiv. Query containment tilsvarer |= Ax (F -> G), ikke Ax F |= Ax G. Ny versjon av notatet er lagt opp i timeplanen og under undervisningsmateriale.

5. nov. 2015 07:08

Formelen i oppgave 1a skulle selvfølgelig være på CNF. Dersom du har løst den for DNF er det greit, men det er enklere å løse versjonen i den rettede oppgaveteksten.

2. nov. 2015 16:23

Oblig 2 ligger ute under Obligatoriske oppgaver.

26. okt. 2015 05:59

Studenter som følger INF4171 kan nå velge fordypningsartikkel. De to valgmulighetene er listet i pensumoversikten.

13. okt. 2015 12:53

Til INF4171-studenter som ikke får levert i Devilry: vi jobber med saken.

Til alle: Siden det var mye frem og tilbake med teksten i oppgave 1, og det var feil i den foreslåtte strategien for å løse oppgaven, vil vi være snille med rettingen av oppgave 1. Vi vil også legge mer vekt på oppgave 2 hos dem som ikke løste oppgave 1 på en god måte.

27. sep. 2015 23:05

Da er oppgaveteksten på oppgave 1 også presisert.

23. sep. 2015 09:11

Minner om at det ikke er forelesning i dag, 17. september.

17. sep. 2015 10:27