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
INF1080
Høst 2016
Studier
>
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