Overview of Logic and Computation
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:
