Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
S?k i nettsidene til UiO
S?k
澳门葡京手机版app下载
澳门葡京手机版app下载
澳门葡京手机版app下载
Livet rundt studiene
Tjenester og verkt?y
Om UiO
Personer
Undermeny
澳门葡京手机版app下载
Emner
Matematikk og naturvitenskap
Informatikk
IN1150
H?st 2017
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
H?st 2017
IN1150 - Logiske metoder
Semesterside for IN1150 - H?st 2017
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Ressurser
Nettkurset
YouTube-kanalen
LaTeX-hjelp
Kursansvarlige
Faglig ansvarlig: Martin Giese
Produksjon og ?daglig drift?: H?kon M?ller
Gruppel?rere/rettere
Bendik Svalastog
Per Sunde
Beskjeder
Endret eksamensdato
30. okt. 2017 16:15
Obligatorisk innlevering 2
29. okt. 2017 17:13
Obligatorisk innlevering 1
21. sep. 2017 16:29
Se flere beskjeder
Kontakt
Institutt for informatikk