Beskjeder
M? m?te opp i 9. etg. Eksamen er i seminarrom 9460. Ikke kom inn i selve rommet; vi kaller dere inn n?r det er klart. Kan gjerne vente ved spisebordet i 9. etg., for eksempel. Oppm?tetider: ?smund 9:25; Joachim 10:00; Lars 10:45; Triera 13:00; Mick 13:40; Kristin 14:30; Benjamin 15:20; Samuel 16:10. Siden hver eksamen KAN ta opptil én time, kan man fort m?tte vente noe tid.
Det ble ytret ?nske om forelesning uken f?r eksamen. Skriv gjerne til meg om hva jeg skal snakke om. Paul har tenkt ? ta en "mini-?vings-muntlig-eksamen". Jeg har tenkt ? pr?ve ? si noe om hva man skal ha l?rt i emnet. Men mail meg om hva jeg burde gj?re!
Eksamen er som lenge annonsert den 15. desember.
Rom 9460, i 9. etg., er reservert for eksamen fra 9:00-16:00. De tre IN9100-studentene har eksamen f?rst, etterfulgt av IN5100-studentene.
1. Ingen forelesning fredag 3.11.
2. N? er pensum for alle temaer presisert n?ye; se tidligere "beskjed" for linker til pensum for hvert tema.
3. Husk oblig 3; innleveringsfrist 8. november.
Biokjemiske/biologi reaksjoner (Mick); hjerne og Parkinson (Triera); knekke Internet Explorer (Samuel); knekke EuroPay/MasterCard/VISA kort-betaling og andre ting med Tamarin (Kristin); semantikk for C i K (?smund); analysere elektroniske kontrakter ved formell semantikk for EVM (Benjamin); monitoring (2 personer; IN9100; Joachin og Lars). I tillegg pensum i probabilistiske systemer som jeg foreleser denne uken.
Oblig 3 har allerede v?rt presentert p? forelesning. Her er "teksten". Her er filen borneo-public.maude med syntaksen til borneo og en masse borneo-testprogrammer. Man kan ogs? bli inspirert av Maude-semantikken til det ber?mte/beryktede spr?ket bali, som er her: bali-public.maude
Handout-versjoner av slides ("handout") lagt inn i timeplanen.
Eksamen avholdes én av dagene 13-15 desember, ser det ut til.
Etter ? ha diskutert med Paul tenker vi at det er mye bedre at dere jobber med Oblig 2 denne uken, i stedet for at vi presenter Oblig 3 allerede denne uken.
Vi avlyser derfor forelesningen denne fredagen.
Her er obligatorisk oppgave 2, innleveringsfrist 13. oktober. Her er filen med "tesprogrammene"
Minner om at innleveringsfristen for obligatorisk oppgave 1 er fredag 22. september.