Beskjeder
Det blir repetisjonsforelesning 1. desember. Forelesningen blir i Pascal (ikke Postscript), til vanlig tid.
Oblig 2 er lagt ut. Innleveringsfrist 20. november, klokken 23:59.
Gruppetimene er flyttet til Prolog. Se kalenderen.
Gruppetimen er flyttet til Perl PostScript (i 2. etg., nærmere tårnet).
Artikkelen Linking Data to Ontologies blir pensum i INF4171. Utover denne vil INF3170 og INF4171 ha samme pensum.
Gruppetimene fortsetter samme tid og sted, det er feil i kalenderen.
Notater om førsteordens og intuisjonistisk logikk er lagt ut under undervisningsmateriale.
På høyre side av kurssiden er det opprettet en liste med lenker til relevante artikler. Disse er ikke pensum, men stoff for de som ønsker å fordype seg i forekjellige temaer.
Oblig 1 er lagt ut under obliger. Innleveringsfrist er torsdag 18. september klokken 23:59. På gruppetimene vil det være mulig å få hjelp til å komme igang med oppgavene.
Øvingsoppgaver for uke 35 er lagt ut under øvingsoppgaver.
I starten av høstens kurs vil forelesningsnotatene være identisk like de fra ifjor. Bruk derfor fjorårets nettside som ressurs inntil årets nettsider er oppe og kjøre!