Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF5130
Høst 2007
Undervisningsplan
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF5130
>
Høst 2007
Dette emnet er erstattet av
IN5100 – Utvalgte emner i omskrivningslogikk
.
INF5130 - Utvalgte emner i omskrivningslogikk
Semesterside for INF5130 - Høst 2007
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Kontakt oss
Studieadministrasjon og faglærere
Beskjeder
Det er obligatorisk oppmøte klokken …
26. okt. 2007 13:57
Muntlig eksamen : Torsdag 22. …
3. okt. 2007 18:30
Dato for studentpresentasjonene blir fredag …
3. okt. 2007 18:27