1. Wat en hoe?
   1. het docententeam
   2. doelgroepen
   3. voorkennis
      • logica wordt hier van grond af opgebouwd
      • enige ervaring in omgang met formalismen
      • FD en DW als indicatoren
      • DM? RE?
      • oefening: wekker
   4. doelen
   5. studielast
      • 6 ec, d.w.z. meer dan een dag per week colleges, zelfstudie en practicumgroepje
   6. manier van studeren
      • inspanning
      • leercyclus
      • de rol van het boek
      • de opbouw van deze web-site
      • inschrijving en communicatie
   7. spelregels
2. Logica
   1. verkenning
   2. studietaak 2 (deadline volgende week dinsdag): logisch vervolg van taak 1
3. Pauze
4. Systeemontwikkeling
   1. de correctheidsstelling
   2. studietaak 1 (deadline: deze week woensdag)
5. Responsiecollege op woensdag

En hier begint de eigenlijke stof.