This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
official:goals [2012/07/06 18:05] paddy |
official:goals [2012/07/06 18:08] (current) paddy |
||
---|---|---|---|
Line 104: | Line 104: | ||
* Be able to prove properties about language semantics. | * Be able to prove properties about language semantics. | ||
* Be able to do induction over inductive sets / predicates. | * Be able to do induction over inductive sets / predicates. | ||
+ | |||
+ | ===== Sheet 10 ===== | ||
+ | |||
+ | * Be able to do pen & paper proofs using the Hoare calculus. | ||
+ | * Be able to find simple loop invariants. | ||
+ | * Be able to translate proofs into the framework created in the lecture. | ||