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
IN1150
Høst 2017
Studier
>
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