Beskjeder
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.
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.
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.
Studenter som f?lger INF4171 kan n? velge fordypningsartikkel. De to valgmulighetene er listet i pensumoversikten.
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.
Da er oppgaveteksten p? oppgave 1 ogs? presisert.
Minner om at det ikke er forelesning i dag, 17. september.
Teksten p? oppgave 2 er n? oppdatert slik at det kommer frem hva oppgaven er.
F?rste obligatoriske oppgave er lagt ut under Obligatoriske oppgaver. LaTeX-kildekoden er ogs? tilgjengelig for nedlasting. Innleveringsfristen er mandag 28. september. Besvarelser skal leveres i Devilry.
Det er en rekke skrivefeil i forelesningsnotatene, og noen av dem er st?rre enn andre. Det er derfor viktig ? bruke l?reboken som kilde, spesielt for definisjoner. Jeg retter forelesningsnotatene n?r jeg finner feil, s? si gjerne ifra hvis du finner en.
Neste uke begynner INF3170 og INF4171 for fullt. Gruppetime p? mandag, og forelesninger tirsdag og torsdag. Ukeoppgavene til mandag ligger p? semestersiden under ukeoppgaver. Det er lurt ? se p? oppgavene i forkant av gruppetimen.
Temaet for neste ukes forelesninger er naturlig deduksjon.
F?rste forelesning er tirsdag 18. august i seminarrom Postscript (rom 2458) i OJD.