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
IN1150
V?r 2018
Avslutningsfest
Eksamensforberedelser
Innleveringer
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN1150
>
V?r 2018
IN1150 - Logiske metoder
Semesterside for IN1150 - V?r 2018
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Fagl?rere
Martin Giese
Universitetet i Oslo
Lars Tveito
Universitetet i Oslo
in1150-ansvarlige@ifi.uio.no – Epost til fagl?rere
Ressurser
Slack
YouTube-kanalen
LaTeX-hjelp
Gruppel?rere
Gr 1: H?kon Salomonsen M?ller
Gr 2: Erik Bolager
Gr 3: Anastasia Orishchenko
Gr 4: Eirik S?ther
Gr 5: Asbj?rn Gaarde
Gr 6: Ida Sandberg Motzfeldt
Gr 7: Eirik Klakegg Svinnset
Gr 9: Bendik Svalastog
Beskjeder
Sensur
12. juni 2018 09:10
Informasjon om avsluttende eksamen
16. mai 2018 07:49
Velkommen til IN1150-avslutningsfest (med pizza og premier)
13. mai 2018 14:09
Se flere beskjeder
Kontakt
Institutt for informatikk