Logic COMP2620
Workload
26 hours of lectures and 24 hours of tutorials
Study schedule
More information may be available for enrolled students on the course website on Wattle
More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/info/COMP2620
Theme / Topic / Module
Concepts of logic and reasoning. Consequence relations, connectives.
Face to face activities
2 lectures
Theme / Topic / Module
Natural deduction concepts and notations. Proofs using implication and conjunction.
Face to face activities
2 lectures, 2 tutorials
Theme / Topic / Module
Negation and disjunction. Interpretations of propositional logic.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 1 due 8 March
Theme / Topic / Module
Introducing quantifiers and relating them to the formalisation exercises we'll have been doing.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 2 due 15 March
Theme / Topic / Module
Deduction theory with quantifiers.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 3 due 22 March
Theme / Topic / Module
Interpretations of first order logic. First order semantic tableaux.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 4 due 29 March
Theme / Topic / Module
Function symbols. Revision of the first half.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 5 due 19 April
Theme / Topic / Module
Relations.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 6 due 26 April
Theme / Topic / Module
Identity. Definite descriptions.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 7 due 3 May
Theme / Topic / Module
Proofs with binary quantifiers. Free logic.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 8 due 10 May
Theme / Topic / Module
Questioning the fundamentals: paradoxes of implication and others
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 9 due 17 May
Theme / Topic / Module
Constructive reasoning. Non-classical models.
Face to face activities
2 lectures, 2 tutorials
Assessment milestones
Assignment 10 due 24 May
Theme / Topic / Module
Largely revision of all of the above.
Face to face activities
2 lectures, 2 tutorials
