COMP2600 in 2012 : Schedule [updated 29/09/2012]
Wk	Date	Topic	Lectures	Tutes	Assignments
1	Mon 23 Jul	Admin & Revision	Propositional logic, Predicate calculus
	Wed 25 Jul		Sets, Functions, Relations, Induction
	Fri 27 Jul		No Lecture
2	Mon 30 Jul	Logic	Natural Deduction for Propositional Logic
	Wed 1 Aug		Natural Deduction for Predicate Calculus
	Fri 3 Aug
3	Mon 6 Aug	Structural Induction	Types & Recursion	Natural Deduction
	Wed 8 Aug		Structural Induction
	Fri 10 Aug
4	Mon 13 Aug	Hoare Logic	Partial Correctness	Structural Induction
	Wed 15 Aug		Proof Rules
	Fri 17 Aug		Program Proof
5	Mon 20 Aug	WP Calculus	Total Correctness	Hoare Logic	Natural Deduction, Structural Induction
	Wed 22 Aug		Proof Rules
	Fri 24 Aug		Program Proof
6	Mon 27 Aug	Formal Specification	Modeling and Specifying Systems in Z	WP Calculus
	Wed 29 Aug
	Fri 31 Aug		Examples
7	Mon 3 Sep	Specification Topics	Z Data Structures	Specification in Z	Hoare Logic & WP Calculus
	Wed 5 Sep		Lambda Calculus
	Fri 7 Sep		Prolog - executable specification
Mid-semester break
Mid-semester exam, Week of 24-28 Sept.
8	Mon 24 Sep	Finite Automata	Finite State Machines	Z Data Structures, Lambda Calculus, Prolog
	Wed 26 Sep		No Lecture
	Fri 28 Sep		Regular Languages
9	Mon 1 Oct		Public Holiday	Deterministic, Finite Automata	Z, Lambda Calculus, Prolog
	Wed 3 Oct		Non-determinism
	Fri 5 Oct	Grammars and Abstract Machines	Grammars
10	Mon 8 Oct		Public Holiday	Nondeterministic Finite Automata, and Grammars
	Wed 10 Oct		Push-down Automata
	Fri 12 Oct	Turing Machines and Computability	Turing Machines
11	Mon 15 Oct		Church-Turing Thesis	-- No Tutorial --	FSA's, Grammars
	Wed 17 Oct		Computability
	Fri 19 Oct		No Lecture
12	Mon 22 Oct	Guest Lecture Week	Dr Rajeev Goré Overview of Research in Logic and Computation	Pushdown Automata, Turing Machines
	Wed 24 Oct		Dr Michael Norrish A Real Formal Verification Project
	Fri 26 Oct		No Lecture
13	Mon 29 Oct	Exam review	Exam review lecture 1
	Wed 31 Oct		Exam review lecture 2
	Fri 2 Nov