Skip navigation
The Australian National University
COMP4630/8679 Schedule
COMP4630/COMP8670 in 2019 : Schedule
WkDateTopicLecturerLecturesTutesAssignments
1Mon 22 JulAdmin & OverviewRajeev GoréClarifying rules on assignments, plagiarism and course contents overview, CPL1NO TUTORIALClassical Propositional Logic
Released Friday 26th July
Solutions
Wed 24 Jul Classical Propositional LogicCPL2
Fri 26 JulCPL3
2Mon 29 Jul CPL4 Classical Propositional 1
Solutions
 
Wed 31 JulCPL5
Fri 2 AugClassical First-Order LogicPeter BaumgartnerFOL01
3Mon 5 AugFOL02Classical Propositional 2
Solutions
Wed 7 AugFOL03
Fri 9 AugFOL04
4Mon 12 AugFOL05Classical First-Order 1
Solutions
Classical Propositional Logic
Due 0900 Monday 12 August

Classical First-Order Logic
Released Friday 16th August
Solutions
Wed 14 Aug Propositional Modal and
Temporal Logics
Rajeev GoréSyntax and Kripke Semantics of Modal Logics
Fri 16 AugLocal and Global Logical Consequence
5Mon 19 AugHilbert Calculi for Modal LogicsClassical First-Order 2
Solutions
 
Wed 21 AugSoundness and Completeness
Fri 23 AugLimits of Kripke frames
6Mon 26 AugModal TableauxPropositional Modal Logic 1
Solutions
Classical First-Order Logic
Due 0900 Monday 26th August

Modal and Temporal Logics
Released Friday 30th August
Solution
Wed 28 AugSoundness and Completeness of Modal Tableaux
Fri 30 AugTense Logics
Mid-semester break
7Mon 16 Sep Propositional Modal and
Temporal Logics
Rajeev GoréLinear Temporal Logic Propositional Modal Logic 2
Solutions
 
Wed 18 Sep Propositional Dynamic LogicPropositional Dynamic Logic
Fri 20 SepExtra Lecture to make up for fire alarm
8Mon 23 SepUntyped Lambda CalculusMichael NorrishLambda Calculus BasicsPropositional Modal Logic 3
Solutions
Wed 25 SepEquational Logic
Fri 27 SepConfluence and Soundness
9Mon 30 SepStandardisationLambda Calculus 1
Solutions
Modal and Temporal Logics
Due 0900 Monday 30th September
Wed 2 OctComputability
Fri 4 OctTyped Lambda CalculusJeremy Dawson Introduction, Church & Curry type systems
10Mon 7 OctNO LECTURE LABOUR DAY PUBLIC HOLIDAYLambda Calculus 2
Solutions
Untyped Lambda Calculus
Released Friday 11th October
Solutions
Wed 9 OctTyped Lambda CalculusJeremy Dawson The type preservation theorem
Fri 11 Oct Type inference
11Mon 14 Oct The normalisation theorem; Kripke semantics Lambda Calculus 3
Solutions
Typed Lambda Calculi
Released Monday 14th October
Solutions
Wed 16 OctNO LECTURE JEREMY AWAY
Fri 18 OctTyped Lambda CalculusJeremy Dawson Curry-Howard correspondence
12Mon 21 OctNO LECTURES But assignments are due!Lambda Calculus 4
Solutions
Untyped Lambda Calculi
Due 0900 Monday 21st October

Typed Lambda Calculi
Due 0900 Friday 25th October
Wed 23 Oct
Fri 25 Oct

Updated:  14 October 2019 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4