INF220: Formell modellering og eksekvering av kommuniserende systemer

Dette kurset ble holdt siste gang våren 2003.
Kurset er nå erstattet av INF3230 (bachelor-nivå) og INF4230 (master nivå).

Kursopplegg V2003:

Forelesere:  Peter Ölveczky (epost: peterol@ifi.uio.no)
  Olaf Owe (epost: olaf@ifi.uio.no)
Gruppelærere: Marte Arnestad (epost: maarnest@ifi.uio.no) (gruppene 1 og 4) og Ellef Gjelstad (epost: ellefg@ifi.uio.no) (gruppene 2 og 3)
Viktig informasjon:  Læremidler og pensum
  Emnebeskrivelse (INF220A
Forelesninger: Mandager kl. 12.15-14.00 og torsdager kl. 14.15-16, begge i Lille Auditorium, Informatikkbygget
  (Merk at vi har i gjennomsnitt 3 timer forelesninger per uke. Dette blir gjort ved at noen mandagsforelesninger vil utgå.)
Gruppeøvelser: Gruppe 1, fredager kl. 14.15-16.30, seminarrom 3A, Informatikkbygget
  Gruppe 2, tirsdager kl. 10.15-13.00, seminarrom 3B, Informatikkbygget
  Gruppe 103, onsdager 16.15-19.00, Auditorium 3, Vilhelm Bjerknes hus
  Gruppe 104, onsdager 8.15-11.00, Seminarrom 121, Preklinisk odontologi-bygget
Obligatoriske oppgaver:  Ja! Se egen rubrikk nedenfor
Eksamen:  5. juni 2003. Skriftlig. Alle trykte og skrevne hjelpemidler blir tillatt.

Morsomme ting som ikke er pensum

Støttelitteratur

Generelt


Peter Ölveczky