| Wk | Date | Topic | Lectures | Tutes | Assignments |
|---|---|---|---|---|---|
| 1 | Wed 24 Jul | Admin & Revision | Propositional logic, Predicate calculus | ||
| Thu 25 Jul | Sets, Functions, Relations, Induction | ||||
| Fri 26 Jul | Basic Haskell | ||||
| 2 | Wed 31 Jul | Structural Induction | Structural Induction | ||
| Thu 1 Aug | |||||
| Fri 2 Aug | |||||
| 3 | Wed 7 Aug | Logic | Propositional & First Order logic specification | Structural Induction | |
| Thu 8 Aug | Natural Deduction (propositional logic) | ||||
| Fri 9 Aug | Natural Deduction (First Order logic) | ||||
| 4 | Wed 14 Aug | Hoare Logic | Hoare Logic | Propositional & First Order Logic, Natural Deduction | |
| Thu 15 Aug | |||||
| Fri 16 Aug | |||||
| 5 | Wed 21 Aug | Total Correctness | Total Correctness | Hoare Logic | Structural Induction, Natural Deduction Due Monday 26 August |
| Thu 22 Aug | |||||
| Fri 23 Aug | System Specification in Z | System Specification in Z -- 1 | |||
| 6 | Wed 28 Aug | System Specification in Z -- 2 | Total Correctness | ||
| Thu 29 Aug | System Specification in Z -- 3 | ||||
| Fri 30 Aug | System Specification in Z -- 4 | ||||
| 7 | Wed 4 Sep | NO LECTURES | NO LECTURES | System Specification in Z | Hoare Logic and Total Correctness Due Monday 23 September |
| Thu 5 Sep | |||||
| Fri 6 Sep | |||||
| 8 | Wed 25 Sep | Deterministic Finite State Automata | Deterministic Finite State Automata | ||
| Thu 26 Sep | |||||
| Fri 27 Sep | no lecture | ||||
| 9 | Wed 2 Oct | Non-Deterministic Finite State Automata and Grammars | Non-Deterministic Finite State Automata and Grammars | Deterministic Finite Automata | Specification in Z Due Tuesday 8 October |
| Thu 3 Oct | |||||
| Fri 4 Oct | no lecture | ||||
| 10 | Wed 9 Oct | Context-Free Languages and Pushdown Automata | Context-Free Languages and Pushdown Automata | Non-Deterministic Finite Automata and Grammars | |
| Thu 10 Oct | |||||
| Fri 11 Oct | no lecture | ||||
| 11 | Wed 16 Oct | Turing Machines & Computability | Turing Machines & Computability | Context-Free Languages and Pushdown Automata | Finite State Automata and Grammars Due Monday 21 October |
| Thu 17 Oct | |||||
| Fri 18 Oct | |||||
| 12 | Wed 23 Oct | Guest Lectures (Non-Assessed) | Dates and Topics to be advised | Turing Machines and Computability | |
| Thu 24 Oct | |||||
| Fri 25 Oct | |||||
| 13 | Wed 30 Oct | Exam Revision | Exam Revision | ||
| Thu 31 Oct | |||||
| Fri 1 Nov | |||||
Computer Science Courses
ANU College of Engineering & Computer Science
