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!