| Wk | Date | Topic | Lectures | Tutes | Assignments |
|---|---|---|---|---|---|
| 1 | Mon 22 Jul | Classical Propositional Logic | |||
| Wed 24 Jul | |||||
| Thu 25 Jul | |||||
| 2 | Mon 29 Jul | Overview and Admin | |||
| Wed 31 Jul | Classical Propositional Logic | ||||
| Thu 1 Aug | |||||
| 3 | Mon 5 Aug | First Order Logic | No tutes in this course | Classical Propositional Logic Due 15 August | |
| Wed 7 Aug | |||||
| Thu 8 Aug | |||||
| 4 | Mon 12 Aug | ||||
| Wed 14 Aug | |||||
| Thu 15 Aug | NO LECTURES | ||||
| 5 | Mon 19 Aug | First Order Logic Due 30 August | |||
| Wed 21 Aug | |||||
| Thu 22 Aug | |||||
| 6 | Mon 26 Aug | Untyped Lambda Calculus | |||
| Wed 28 Aug | |||||
| Thu 29 Aug | |||||
| 7 | Mon 2 Sep | Untyped Lambda Calculus Due 23 September | |||
| Wed 4 Sep | |||||
| Thu 5 Sep | Typed Lambda Calculus | Introduction, Church & Curry type systems | |||
| 8 | Mon 23 Sep | Typed Lambda Calculus | The type preservation theorem | No tutes in this course | Typed Lambda Calculus Due 9 October |
| Wed 25 Sep | Type inference | ||||
| Thu 26 Sep | Modal and Temporal Logic | ||||
| 9 | Mon 30 Sep | public holiday | |||
| Wed 2 Oct | |||||
| Thu 3 Oct | |||||
| 10 | Mon 7 Oct | public holiday | Modal and Temporal Logic Due 31 October WORTH DOUBLE, ie 17% | ||
| Wed 9 Oct | |||||
| Thu 10 Oct | |||||
| 11 | Mon 14 Oct | ||||
| Wed 16 Oct | |||||
| Thu 17 Oct | |||||
| 12 | Mon 21 Oct | ||||
| Wed 23 Oct | |||||
| Thu 24 Oct | Intuitionistic Logic | The normalisation theorem Kripke Semantics | |||
| 13 | Mon 28 Oct | Curry-Howard correspondence | |||
| Wed 30 Oct | TBA | ||||
| Thu 31 Oct | |||||
Computer Science Courses
ANU College of Engineering & Computer Science
