course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2012/04/03 20:06] – jonathan | course_outline [2012/04/03 20:06] (current) – jonathan | ||
|---|---|---|---|
| Line 83: | Line 83: | ||
| We did the celebrity problem ind detail including the addition of a variant for the new event and witnesses for disappearing parameters. We also studied injections, surjection and bijections of functions and relations. See Rodin folder. | We did the celebrity problem ind detail including the addition of a variant for the new event and witnesses for disappearing parameters. We also studied injections, surjection and bijections of functions and relations. See Rodin folder. | ||
| + | |||
| + | 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. | ||
| ===== Weakest Preconditions===== | ===== Weakest Preconditions===== | ||
course_outline.1333483599.txt.gz · Last modified: 2012/04/03 20:06 by jonathan