|
|
COMP2600: Formal Methods for Software Engineering
Schedule
- Here is an approximate schedule of
lectures, tutorials and assessments.
It may change as the semester progresses, so check it regularly.
- Last update: 18 August.
- Mid-Semester Exam:
- Wednesday 10th September, 2008
- 5-6pm, preceded by 15 minutes reading
- Melville Hall
Messages
- Mid-semester Quiz advice:
- No doubt you will be interested to see the 2007 mid-semester quiz. We are
covering the material in a different order this year, and we have
made some other changes (particularly to the presentation
of natural deduction), so the 2007 quiz is only a guide. Parts
of past final exam papers may also be useful revision.
- The material on Natural Deduction, Types, Recursion and
Structural Induction, Hoare Logic and Weakest
Preconditions is examinable in the quiz. That is, all topics
covered in the first fifteen lectures.
- You are permitted to take in one A4 page with hand-written
notes on both sides. Our usual practice is to include in the exam
paper appendices giving the rules of natural deduction, Hoare
logic, and weakest precondition calculus, so there is no need for
you to include them in your page of notes.
- Assignment 2 is now available.
It is due at 10am on Monday 15th September, 2008.
Irrelevant but Strangely Compelling Facts
|
