| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 19.08.2003 | Einar B. Johnsen | Introduksjon. | Kap. 1. Kap. 2 t.o.m. 2.5. | |
| 26.08.2003 | Einar B. Johnsen | Hoare-Logikk. | Kap 2.6 -> Ut kapittelet. | |
| 02.09.2003 | Einar B. Johnsen | Låser og Barrierer. | Kap. 3. | |
| 04.09.2003 | Grupper | Formell analyse | ||
| 09.09.2003 | Innleveringsuke. | Ingen forelesning. | ||
| 11.09.2003 | Grupper | Formell analyse II | Fortsetter gjennomgang av oppgaver. | |
| 16.09.2003 | Einar B. Johnsen | Semaforer. | Kap. 4. | |
| 18.09.2003 | Grupper | Låser og barrierer | Innlevering oblig 1. | |
| 23.09.2003 | Einar B. Johnsen | Semaforer. Monitorer. | Kap. 4 og kap. 5. | |
| 25.09.2003 | Grupper | |||
| 30.09.2003 | Einar B. Johnsen, Bjarte M. Østvold | Monitorer. Case study: Java. | Kap. 5. Case-study. | |
| 02.10.2003 | Grupper | Gjennomgang oblig 1. | ||
| 07.10.2003 | Gruppetime | Innleveringsuke. | Ingen forelesning. Det blir kollokvie i stedet for forelesning, i regi av gruppelærerne. | |
| 09.10.2003 | Grupper | Kollokvietime. Flyttet til forelesning 02.10. Ingen oppgaver. | ||
| 14.10.2003 | Bjarte M. Østvold | Meldingskommunikasjon. | Kap. 7. | |
| 16.10.2003 | Grupper | |||
| 21.10.2003 | Bjarte M. Østvold | Meldingskommunikasjon. | Kap. 7. | |
| 23.10.2003 | Grupper | Utlevering oblig. 2. Oppgavene ligger her. Gjennomgang hjemmeeksamen 1. Løsningsforslag ligger her. | ||
| 28.10.2003 | Innleveringsuke. | Ingen forelesning. Gruppe 1 flyttes hit fra torsdag 30.10 kl 08. | ||
| 30.10.2003 | Grupper | Innlevering oblig. 2. | ||
| 04.11.2003 | Bjarte M. Østvold | RPC og Rendezvous. | Kap. 8. | |
| 06.11.2003 | Grupper | Løsningsforslag ligger her. | ||
| 11.11.2003 | Bjarte M. Østvold | RPC og Rendezvous. | Kap. 8. Utlevering hjemmeeksamen 2. | |
| 13.11.2003 | Grupper | Gjennomgang oblig 2. | ||
| 18.11.2003 | Innleveringsuke. | Ingen forelesning. | ||
| 20.11.2003 | Grupper | Løsningsforslag ligger her. | ||
| 24.11.2003 | Innlevering hjemmeeksamen 2. | |||
| 25.11.2003 | Bjarte M. Østvold | Paradigmer for prosessinteraksjon. | Kap. 9. | |
| 27.11.2003 | Grupper | Gjennomgang hjemmeeksamen 2.Spørsmål og svar om obliger/oppgaver. | ||
| 02.12.2003 | Einar B. Johnsen, Bjarte M. Østvold | Spørretime | Send spørsmål til faglærerne innen fredag 28. november. |
Undervisningsplan
Publisert 16. juni 2003 20:12
- Sist endret 15. sep. 2004 12:22