F?rste forelesning er i dag! Husk at det er obligatorisk oppm?te.
Velkommen til INF1080 - Logiske metoder for informatikk! Det vil snart komme mer informasjon p? disse sidene, s? f?lg med.