Hovednavigasjon (hopp)
Hovedinnholdet (hopp)
Temanavigasjon (hopp)
Kontaktinformasjon (hopp)

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

Kontaktpunkter UiO

Universitetet i Oslo
Boks 1072 Blindern
0316 Oslo

Ved brann, ulykker og alvorlige hendelser ring
22 85 66 66

studieredaktor@admin.uio.no