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.