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
The course by week
The following gives a rough schedule.
- week 5: Chapter 1 of DENS
- week 6: Chapter 2 of DENS
- week 7: Chapter 3 of DENS
- week 8: Chapter 4 of DENS
- week 9: Chapter 5 of DENS
- week 11: Chapter 6 of DENS
- week 12: Chapter 7 of DENS
- week 13: Chapter 8 of DENS
- week 16: Recap of DENS
- week 19: Chapter 3.1 of Amadio-Curien
- week 20: Chapter 3.2 of Amadio-Curien
- week 21: Chapter 13 of Winskel-MIT
- week 22: Chapter 8 of Gunter-MIT
- week 23: Chapter 8 of Gunter-MIT
- week 25: Recap of the whole course
Exam
Friday July 8 (week 27), 10:30--12:30, HG00.310, written exam.