| COMP2600 in 2010 : Schedule | |||||
|---|---|---|---|---|---|
| Wk | Date | Topic | Lectures | Tutes | Assignments |
| 1 | Wed 21 July | Admin & Revision | Propositional logic, Predicate calculus | ||
| Thu 22 July | Sets, Functions, Relations, Induction | ||||
| Fri 23 July | Bush Day - no lecture | ||||
| 2 | Wed 28 July | Basic Haskell | |||
| Thu 29 July | Logic | Natural Deduction | |||
| Fri 30 July | Natural Deduction | ||||
| 3 | Wed 4 August | Inductive Types | Specification | Natural Deduction | |
| Thu 5 August | Structural Induction | ||||
| Fri 6 August | Structural Induction | ||||
| 4 | Wed 11 August | Hoare Logic | Partial Correctness | Structural Induction | |
| Thu 12 August | Proof Rules | ||||
| Fri 13 August | Program Proof | ||||
| 5 | Wed 18 August | WP Calculus | Total Correctness | Hoare Logic |
Natural Deduction & Structural Induction |
| Thu 19 August | Proof Rules | ||||
| Fri 20 August | Program Proof | ||||
| 6 | Wed 25 August | Finite Automata | Finite State Machines | WP Calculus | |
| Thu 26 August | Regular Languages | ||||
| Fri 27 August | Non-determinism | ||||
| 7 | Wed 1 Sep | Specification in Z | Modelling and Specification | Finite Automata |
Hoare Logic & WP Calculus |
| Thu 2 Sep | Schemas | Fri 3 Sep | Examples | ||
| 8 | Wed 8 Sep | Grammars & Languages |
Grammars | Specification in Z | |
| Thu 9 Sep | Push-down Automata | ||||
| Fri 10 Sep | Quiz preparation review |
||||
| 9 | Mon 13 Sep | Mid-semster quiz, Melville Hall, 1750-1900 | |||
| Wed 15 Sep | Parsing | Grammars, PDAs | Z & FSAs | ||
| Thu 16 Sep | Computability etc | Lambda Calculus, Church Numerals | |||
| Fri 17 Sep | Turing Machines | ||||
| 10 | Wed 22 Sep | Computability | |||
| Thu 23 Sep | Various topics | Completeness & Consistency | |||
| Fri 24 Sep | No lecture | ||||
| Two week mid-semester break | |||||
| 11 | Wed 13 Oct | Various topics | Guest lecturer - Michael Norrish (*) |
Turing Machines Lambda Calculus |
|
| Thu 14 Oct | Guest Lecture - Raj Goré (*) | ||||
| Fri 15 Oct | No lecture | ||||
| 12 | Wed 20 Oct | Various topics | No lecture |
Grammars, PDAs, TMs |
|
| Thu 21 Oct | Type Checking, Unification | ||||
| Fri 22 Oct | Logic Programming | ||||
| 13 | Wed 27 Oct | Reviews | Review for Final Exam | ||
| Thu 28 Oct | Review for Final Exam | ||||
| Fri 29 Oct | |||||