Dette emnet er erstattet av IN1150 – Logiske metoder.

INF1080 - Logiske metoder for informatikk

Semesterside for INF1080 - Høst 2012

Eksamen: Tid og sted

Gruppeundervisning og ukeoppgaver

Gruppeundervisning

Innleveringsoppgaver

Spørsmål og svar og andre aktiviteter

Kontakt

Institutt for informatikk

Beskjeder

Det blir et regneverksted med … 5. des. 2012 16:39
Siste forelesning har vært, 28. nov. 2012 18:07
Det tilbys nå oblighjelp alle … 15. okt. 2012 11:21

Se flere beskjeder