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
INF1080
H?st 2014
澳门葡京手机版app下载
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
H?st 2014
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - H?st 2014
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Oppgaver
Innleveringsoppgaver
Eksamensoppgaver
Aktiviteter
Avslutningsfest
INF1080-verksted
Digitale ressurser
INF1080 p? YouTube
Podkast (iTunes/RSS)
Piazza (sp?rsm?l og svar)
Gruppel?rere
Gr. 1: Sigurd Kittilsen
Gr. 2: Marianne Hval
Gr. 3: Mathias Ramm
Gr. 4: H?kon M?ller
Gr. 5: Lars Tveito
Gr. 6: Lars Kristian M. Telle
Gr. 7: Natalia Smirnova
Gr. 8: Trond Thorbj?rnsen
Gr. 9: Agnar Skinlo
Kommuniser med oss!
Facebook-gruppe
Twitter
inf1080-ansvarlige@ifi.uio.no
Beskjeder
Noen nye l?sningsforslag
6. des. 2014 16:42
Siste verksted og lykke til
4. des. 2014 17:21
L?sningsforslag og gjennomgang av pr?veeksamen
3. des. 2014 17:58
Velkommen til avslutningsfest!
28. nov. 2014 08:38
Avslutningsfest fredag 28/11 i Simula
20. nov. 2014 13:08
Repetisjonsforelesning 13/11
12. nov. 2014 15:03
Tidligere eksamensoppgaver
4. nov. 2014 20:48
Utvalgte l?sningsforslag og rombytte
28. okt. 2014 18:43
Oppdatering: Ekstra innleveringsoppgave og INF1080-verksted
21. okt. 2014 23:36
Ekstra innleveringsoppgave
20. okt. 2014 12:16
Se flere beskjeder
Kontakt
Institutt for informatikk