Velkommen til INF 3230!

Velkommen til INF 3230 v?r 2014. Da er vi klare for oppstart, med f?rste forelesning torsdag 16.1 kl 12.15 p? rom 3438. Noen kjappe meldinger:

* For ? komme godt i gang, satser jeg p? en forelesning 20.1 p? den tiden gruppeundervisningen skulle v?re, kl 12.15-14 i rom 3468.

* Vi har 3 timers forelesninger, men de fleste ukene h?per jeg ? v?re ferdig p? litt over to timer. Men noen uker vil jeg nok trenge 3 timer. Jeg skj?nner at det er en kr?sj med INF 3151 som det kunne v?rt godt ? finne en konstruktiv l?sning p?.

* Mye viktig informasjon (tidsplan, oppgaver, obliger, etc.) st?r p? undervisningplanen  http://www.uio.no/studier/emner/matnat/ifi/INF3230/v14/undervisningsplan/ . F?lg godt med p? denne!

* Den f?rste obligatoriske oppgaven kommer ganske fort, slik at alle kommer godt i gang med Maude-programmering/modellering.

* Kompendiet er tilgjengelig p? http://folk.uio.no/peterol/komp10-1.pdf   (jeg holder p? ? skrive en mye bedre bok for Springer, men den er dessverre ikke ferdig enn?). Pensumlisten pr?ver jeg ? f? opp p? dette xxxxx websystemet uten stor suksess, men den er tilgjengelig her: http://www.uio.no/studier/emner/matnat/ifi/INF3230/v14/pensumliste/index.html

Vel m?tt til INF 3230! Send gjerne eventuelle sp?rsm?l til peterol@ifi.uio.no