COMP2600 in 2011 : Schedule
Wk	Date	Topic	Lectures	Tutes	Assignments
1	Mon 25 Jul	Admin & Revision	Propositional logic, Predicate calculus
	Tue 26 Jul		Sets, Functions, Relations, Induction
	Thu 28 Jul		Basic Haskell
2	Mon 1 Aug	Logic	Natural Deduction
	Tue 2 Aug
	Thu 4 Aug
3	Mon 8 Aug	Structural Induction	Types & Recursion	Natural Deduction
	Tue 9 Aug		Structural Induction
	Thu 11 Aug
4	Mon 15 Aug	Specification in Z	Modelling and Specification	Structural Induction
	Tue 16 Aug		Schemas
	Thu 18 Aug		Examples
5	Mon 22 Aug	Finite Automata	Finite State Machines	Specification in Z	Natural Deduction, Structural Induction
	Tue 23 Aug		Regular Languages
	Thu 25 Aug		Non-determinism
6	Mon 29 Aug	Grammars, PDAs, Parsing	Grammars	Finite Automata
	Tue 30 Aug		Push-down Automata
	Thu 1 Sep		Parsing
7	Mon 5 Sep	Computability etc	Lambda Calculus, Church Numerals	Grammars, PDAs	Z & FSAs
	Tue 6 Sep		Turing Machines
	Thu 8 Sep		Computability
Mid-semester break
Mid-semester exam, Monday 26th September, 1830, COP G30/31
8	Mon 26 Sep	Hoare Logic	Partial Correctness	Turing Machines, Lambda Calculus
	Tue 27 Sep		Proof Rules
	Thu 29 Sep		Program Proof
9	Mon 3 Oct	WP Calculus	Public Holiday	Hoare Logic	Grammars, PDAs, TMs
	Tue 4 Oct		Total Correctness
	Thu 6 Oct		Proof Rules
10	Mon 10 Oct		Public Holiday	WP Calculus
	Tue 11 Oct		Program Proof
	Thu 13 Oct		no lecture
11	Mon 17 Oct	Various topics	Completeness & Consistency		Hoare Logic & WP Calculus
	Tue 18 Oct		Type Checking, Unification
	Thu 20 Oct		Logic Programming
12	Mon 24 Oct	Guest lectures	no lecture	Metalogic, Typechecking, Prolog
	Tue 25 Oct		Dr Michael Norrish A real formal verification project
	Thu 27 Oct		Dr Rajeev Goré Overview of Research in Logic and Computation
13	Mon 31 Oct	Exam review	Exam review lectures
	Tue 1 Nov
	Thu 3 Nov