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 2013
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
Høst 2013
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - Høst 2013
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Faglærere
Martin Giese
Universitetet i Oslo
Ukesoppgaver
Innleveringsoppgaver
Spørsmål og svar og andre aktiviteter
Diskusjonsforum
Konkurranser
Facebook-gruppe
Twitter
IRC
INF1080-frokost på mandager
Beskjeder
Løsningsforslag til prøveeksamen
29. nov. 2013 16:12
Prøveeksamen og avslutningsfest
28. nov. 2013 14:14
Verksted i stedet for forelesning
13. nov. 2013 16:40
Ingen forelesning fredag 11. oktober
7. okt. 2013 16:35
Innlevering 5
24. sep. 2013 13:17
Se flere beskjeder
Kontakt
Institutt for informatikk