User Tools
official:goals
Differences
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. | ||
official/goals.1341590747.txt.gz ยท Last modified: 2012/07/06 18:05 by paddy
Page Tools
