Assignments
There will be three written assignments during the course. Some of these will involve proofs in the Isabelle theorem prover. They will be made available from this page as the course progresses.- Assignment 1:
assignment [pdf],
Isabelle template [thy]
You may collect your marked assignment. Run (on a CSE machine):
~cs4161/bin/classrun -collect a1
Solution to assignment 1: Text questions [pdf], Isabelle proofs [thy]
- Assignment 2:
assignment [pdf],
Isabelle template [thy]
You may collect your marked assignment. Run (on a CSE machine):
~cs4161/bin/classrun -collect a2
Solution to assignment 2: Isabelle proofs and text questions [thy]
- Assignment 3:
assignment [pdf],
Isabelle template [thy]
You may collect your marked assignment. Run (on a CSE machine):
~cs4161/bin/classrun -collect a3