Hovednavigasjon (hopp)
Hovedinnholdet (hopp)
Kontaktinformasjon (hopp)
UiO
Universitetet i Oslo
Hovednavigasjon
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undernavigasjon
Meny
English website
For ansatte
Mine studier
Studier
Emner
Matematikk og naturvitenskap
Informatikk
INF1080
Høst 2012
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF1080
>
Høst 2012
Dette emnet er erstattet av
IN1150 – Logiske metoder
.
INF1080 - Logiske metoder for informatikk
Semesterside for INF1080 - Høst 2012
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Gruppeundervisning og ukeoppgaver
Gruppeundervisning
Innleveringsoppgaver
Spørsmål og svar og andre aktiviteter
Diskusjonsforum
Konkurranser
Facebook-gruppe
Twitter
Kontakt
Institutt for informatikk
Beskjeder
Det blir et regneverksted med …
5. des. 2012 16:39
Siste forelesning har vært,
28. nov. 2012 18:07
Det tilbys nå oblighjelp alle …
15. okt. 2012 11:21
Se flere beskjeder