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.

Part I: Automated Reasoning with Analytic Tableaux

Part II: Crash Course in Logic Programming with Prolog

Part III: Complexity Theory

Part IV: Topics in Knowledge Representation and Reasoning

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