Next: 49351 Course Projects
Up: Spring 1999 Lecture Notes
Previous: Contents
Foils 27-29 of document Chapter 1: OH Foils
NO LONGER APPLY. See below.
Below records actual lecture-by-lecture coverage:
- Monday 1.2.1999: Cover, Foreword (Chapter 0), Chapter 1
Read chapters 0-1 ``leisurely''! Look seriously at text of
exercise solutions.
- Thursday 4.2.1999: Chapter 2
Study this chapter in detail. Solve the Java problems!
- Monday 8.2.1999: Chapter 3, Sections 3.1 -- 3.6.2 incl.
Study these sections in detail.
- Thursday 11.2.1999: Chapter 3, Sections 3.6.3-.4 incl.
Study these sections in detail.
- Monday 15.2.1999: Chapter 3, Sections 3.6.5-3.7 incl.
Study these sections in detail.
- Thursday 18.2.1999: Chapter 4 -- first part: probably section
4.1-.4.4. Also: RSL's Process Concept.
Study this part in detail.
- Monday 22.2.1999: Chapter 4 -- remaining sections.
Study this part in detail.
- Wednesday 24.2.1999: Afternoon session cancelled.
- Tursday 25.2.199: Chapter 6: Dr. Bo Stig Hansen, PPU maconomy
will present this lecture as DB is at the 3rd. FMERail Workshop.
- Monday 1.3.1999: Chapter 3, Sections 3.8.
Study this sections in detail.
- Thursday 4.3.1999: Chapter 8, Sections 8.1 and 8.2, pages 290-323.
Study this sections in detail.
- Monday 8.3.1999: Chapter 8, Sections 8.3 and 8.4, pages 323-347.
Study Sections 8.3 in detail.
- Thursday 11.3.1999: Chapter 8, remaning sections.
Study these in detail.
- Monday 15.3.1999: Chapter 10: Requirements. Sections 10.2-.4.
Study these in detail.
- Thursday 18.3.1999. Chapter 10, remaining sections.
Study these in detail.
- Monday 22.3.1999: Chapter 12
- Thursday 25.3.1999: Chapter 13
- Thursday 8.4.1999: Chapter 5, Sections 5.3.1-.5: SAL
- Monday 12.4.1999: Chapter 5, Section 5.3.6 & 5.4: SAL + SIL
- Thursday 15.4.1999: Chapters 5 & 15, Sections 5.5 & 15.2: MIL
+ Jackson
- Monday 19.4.1999: Chapter 15, Section 15.3-.5: Jackson
- Thursday 22.4.1999: Chapter 20: Discussion --
End-of-Lectures (8:00-8:35)
- []
- Project Presentations:
- []
- Thursday 22.4.1999: LiMaCS 1 [EH+MK] (8:45-9:20)
- Monday 26.4.1999: LiMaCS 2 [SS] and MiTras
- Thursday 29.4.1999: PiMaCS 1 [AVS] & 2 [JG]
- Monday 3.5.1999: HeCS and ATM
- Thursday 6.5.1999: FiSICS
- Monday 10.5.1999 -- CANCELLED: DB at Oxford Univ.
- Monday 17.5.1999 : Demo
- Thursday 20.5.1999 -- CANCELLED: DB in Peking and Macau
Next: 49351 Course Projects
Up: Spring 1999 Lecture Notes
Previous: Contents
Dines Bjorner
4/14/1999