course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2010/03/25 20:55] – jonathan | course_outline [2010/03/25 20:56] (current) – jonathan | ||
|---|---|---|---|
| Line 98: | Line 98: | ||
| ===== Week 12: March 22===== | ===== Week 12: March 22===== | ||
| - | Tuesday: Dijkstra weakest precondition calculus and loop variants and invariants.Proving loop termination. Relationship of Dijkstra weakest precondition calculus to Event-B. | + | Tuesday: Dijkstra weakest precondition calculus and loop variants and invariants.Proving loop termination. Relationship of Dijkstra weakest precondition calculus to Event-B. Slides on the SVN. |
| - | Thursday: Review of arithmetic, set theory, predicate logic and Event-B invariant and refinement proof obligations. | + | Thursday: Review of arithmetic, set theory, predicate logic and Event-B invariant and refinement proof obligations. Translation between set theoretic statements and predicate logic. Re-write rules. |
| ===== Week 13: March 29===== | ===== Week 13: March 29===== | ||
course_outline.txt · Last modified: 2010/03/25 20:56 by jonathan