Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
亚博娱乐官网_亚博pt手机客户端登录
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
亚博娱乐官网_亚博pt手机客户端登录
Emner
Matematikk og naturvitenskap
Informatikk
INF1080
H?st 2013
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
H?st 2013
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - H?st 2013
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Fagl?rere
Martin Giese
Universitetet i Oslo
Ukesoppgaver
Innleveringsoppgaver
Sp?rsm?l og svar og andre aktiviteter
Diskusjonsforum
Konkurranser
Facebook-gruppe
Twitter
IRC
INF1080-frokost p? mandager
Beskjeder
L?sningsforslag til pr?veeksamen
29. nov. 2013 16:12
Pr?veeksamen og avslutningsfest
28. nov. 2013 14:14
Verksted i stedet for forelesning
13. nov. 2013 16:40
Ingen forelesning fredag 11. oktober
7. okt. 2013 16:35
Innlevering 5
24. sep. 2013 13:17
Se flere beskjeder
Kontakt
Institutt for informatikk