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
INF3230
Vår 2012
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
INF3230
>
Vår 2012
Dette emnet er erstattet av
INF3232 – Logikk for systemanalyse (videreført)
.
INF3230 - Formell modellering og analyse av kommuniserende systemer
Semesterside for INF3230 - Vår 2012
Timeplan
Pensum/litteraturliste
Eksamen: Tid og sted
Faglærere
Peter Csaba Ølveczky
Universitetet i Oslo
Volker Stolz
Universitetet i Oslo
Kontakt oss
Studieadministrasjon og faglærere
Beskjeder
Løsningsforslag til eksamen 2012
22. juni 2012 13:15
Obligatorisk oppgave 3 er nå …
19. mars 2012 16:30
Som nevnt på forelesningen er …
21. feb. 2012 21:31
Se flere beskjeder