Beskjeder

Muntlig kontinuasjonseksamen avholdes tirsdag 11. januar kl 1500. Informasjon om rom gies ved henv. til fagl?rerne eller instituttet.

Siste forelesning (30.11) st?r sp?rsm?l og svar p? programmet.

Send gjerne inn sp?rsm?l til foreleserne p? forh?nd.

Eksamen h?sten 2003 : oppgaver+l?sningsforslag

Lovlige hjelpemidler til eksamen: Alle trykte og skrevne hjelpemidler

Semantiske regler for tau-transisjonsisjoner i prosesser med eksternt valg falt ut fra forelesningen. Disse er n? kommet med p? transparent nr. 21. Dessuten er feilene i de andre reglene for eksternt valg rettet.

Kompendiet om CSP er tilgjengelig p? Akademikas kopiutsalg.

Oppgavene til del II av kurset er n? oppdatert med program for gruppetimen 01.12.2004. Se detaljert undervisningsplan.

Pensumlista er oppdatert med informasjon om CSP. Et kompendium om CSP selges p? Akademika senest 9. november.

I forelesningen idag om "rendezvous" tyvstartet jeg s?vidt p? CSP. Se utlagte transparenter. --Bjarte

Oblig. 3 er lagt ut.

Obligatorisk oppgave 2 er n? lagt ut. Se undervisningsplanen

Obligatorisk oppgave 1 er lagt ut

Ukeoppgavene for neste uke er lagt ut. Se undervisningsplanen .

Det er obligatorisk fremm?te p? f?rste forelesning. Hvis du ikke m?ter eller ikke har f?tt fritak for fremm?te f?r forelesningen, s? mister du plassen p? emnet.

Etteranmelding til emner som eventuelt har ledig kapasitet, kan skje tidligst dagen etter f?rste forelesning i det aktuelle emnet. Opptak gj?res deretter fortl?pende frem til emnet er fullt.