Hulp
Boekenmaker (uitschakelen)

Semantics and Domain Theory/Organisation/Planning

Uit Werkplaats
< Semantics and Domain Theory‎ | Organisation
Versie door Marc Schoolderman (overleg | bijdragen) op 2 feb 2011 om 01:23
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken

Semantics and Domain Theory

 © comments



The course by week

The following gives a rough schedule.

  1. week 5: Chapter 1 of DENS
  2. week 6: Chapter 2 of DENS
  3. week 7: Chapter 3 of DENS
  4. week 8: Chapter 4 of DENS
  5. week 9: Chapter 5 of DENS
  6. week 11: Chapter 6 of DENS
  7. week 12: Chapter 7 of DENS
  8. week 13: Chapter 8 of DENS
  9. week 16: Recap of DENS
  10. week 19: Chapter 3.1 of Amadio-Curien
  11. week 20: Chapter 3.2 of Amadio-Curien
  12. week 21: Chapter 13 of Winskel-MIT
  13. week 22: Chapter 8 of Gunter-MIT
  14. week 23: Chapter 8 of Gunter-MIT
  15. week 25: Recap of the whole course

Exam

Friday July 8 (week 27), 10:30--12:30, HG00.310, written exam.

Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Semantics_and_Domain_Theory/Organisation/Planning&oldid=131089"