Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF1080
Høst 2010
Undervisningsplan
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
Høst 2010
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - Høst 2010
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Beskjeder
Ingen beskjeder
Forum og aktiviteter
Diskusjonsforum
Avslutningsfest 26. november
Sannhetsverditabeller
Ukeoppgaver
Innleveringsoppgaver
Om innlevering
Devilry innlogging
Anbefalte oppgaver
Kontakt oss
Studieadministrasjon og faglærere