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 2014
Studier
>
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