Introduction to Logic in Computer Science: Autumn 2007

This course provides an introduction to logic in computer science, covering topics such as automated reasoning, logic programming, and complexity theory. It is an introductory course in the Master of Logic programme. This website provides some general information on the course and access to the slides used during classes. For day-to-day information, including coursework assignments, please refer to the UvA Blackboard system.

• Lecturer: Ulle Endriss (ILLC, University of Amsterdam)
• Teaching Assistant: Joel Uckelman
• Examination: regular coursework
• Timetable: Mondays 16-18 in P.017
• Introductory slides: PDF (4up)

Part I: Automated Reasoning with Analytic Tableaux

• Slides: Tableaux for Propositional Logic (4up)
• Slides: Tableaux for First-order Logic (4up)
• Literature: M. D'Agostino. Tableau Methods for Classical Propositional Logic. In Handbook of Tableau Methods, Kluwer, 1999.
• Literature: R. Hähnle. Tableaux and Related Methods. In Handbook of Automated Reasoning, Elsevier, 2001.
• Literature: B. Beckert. Semantic Tableaux with Equality. Journal of Logic and Computation, 7(1):39-58, 1997.
• Software: WinKE

Part II: Crash Course in Logic Programming with Prolog

• Slides: Prolog Programming (Basics, Lists, Arithmetics, Operators, Cuts)
• Slides: Logic and Prolog (4up)
• Slides: Implementing a Tableau Prover (4up)
• Literature: U. Endriss. An Introduction to Prolog Programming (errata), London and Amsterdam, 1999-2007.
• Literature: J. Posegga and P.H. Schmitt. Implementing Semantic Tableaux. In Handbook of Tableau Methods, Kluwer, 1999.
• Resources: SWI Prolog

Part III: Complexity Theory

• Slides: Computational Complexity (4up)
• Slides: Communication Complexity (4up)
• Literature: C.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
• Literature: E. Kushilevitz and N. Nisan. Communication Complexity. Cambridge University Press, 1997.

Part IV: Topics in Knowledge Representation and Reasoning

• Slides: Preference Modelling in Combinatorial Domains (4up)
• Slides: Description Logics (4up)

The page for the 2006 edition of the course is still available.