COMP4630/COMP6463 - DCS, ANU College of Engineering and Computer Science

COMP4630/COMP6463 - Overview of Logic and Computation

Schedule and Notes

Schedule

The course will be structured as follows:

Introduction to Logic (First-Order Logic, Calculi, Soundness and Completeness).
From 02/03/2009 to 13/03/2009.
Automated Reasoning in First-Order Logic.
From 16/03 to 27/03.
Handout (PDF), Slides (PDF), N-queens-symmetry example problem.
Automating Propositional Logic (SAT solving)
From 30/03 to 09/04.
Slides (PDF)
Knowledge Compilation
From 28/04 to 08/05.
Modal Logic
From 11/05 to 22/05.
Temporal Logic (LTL and CTL, model checking)
From 25/05 to 05/06.

The room is N329 "Aquarium".

Notes

We will provide the slides used in class or handouts of the slides. There is no canonical reading material, given that the course is given by a number of people and quite broad. We will point to literature as the course proceeds.

If you want to get an idea about the slides see previous year's slides:

This page for Knowledge Compilation, and
"Introduction to Modal and Temporal Logics" at this page

	Skip Navigation CECS Home \| ANU Home \| Search ANU
	ANU College of Engineering and Computer Science Department of Computer Science