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 2016
亚博娱乐官网_亚博pt手机客户端登录
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
H?st 2016
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - H?st 2016
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Oppgaver
Innleveringsoppgaver
Digitale ressurser
INF1080x p? edX – Interaktivt selvstudium og sp?rsm?l/diskusjon
INF1080s YouTube-kanal – Direktesending og opptak av fellestimer
Kommunikasjon
Slack – Snakk med oss og hverandre og f? siste nytt
inf1080-ansvarlige@ifi.uio.no – E-post til kursansvarlige
Facebook-gruppe
Gruppel?rere
Oversikt over gruppetimer
Gr. 1: Natalia Smirnova
Gr. 2: Thor H?g?s
Gr. 3: Benedikte Wallace
Gr. 4: Eirik Klakegg Svinnset
Gr. 5: Asbj?rn Gaarde
Gr. 6: Bj?rn Ingeberg Fesche
Gr. 8: Asbj?rn Klevjer
Gr. 9: Peter Norstein
Gr. 10: H?kon Salomonsen M?ller
Beskjeder
Takk for f?lget
7. des. 2016 21:51
Screencast fra Infom?te om digital eksamen tirsdag 8.november
10. nov. 2016 07:57
Oversikt over gruppetimer
24. okt. 2016 11:08
Tips til innlevering 5 p? Slack
29. sep. 2016 15:21
En kort oppdatering
16. sep. 2016 09:43
Siste nytt
8. sep. 2016 20:29
Slack og edX
28. aug. 2016 17:50
Velkommen til f?rste forelesning
19. aug. 2016 13:13
Velkommen til INF1080!
10. juni 2016 14:33
Kontakt
Institutt for informatikk