Introduction to Logic in Computer Science: Autumn 2006

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: Andreas Witzel
• Examination: regular coursework
• Timetable: Mondays 4-6pm in P-0.17
• Introductory slides: PDF (4up)

Part I: Automated Reasoning with Analytic Tableaux

• (04/09/2006) Tableaux for Propositional Logic (4up)
• (11/09/2206) Tableaux for First-order Logic (4up)
• (18/09/2006) More on Tableaux for First-order Logic (4up)

Part II: Crash Course in Logic Programming with Prolog

• (02/10/2006) Prolog: Basics, Lists, Arithmetics (slides)
• (09/10/2006) Prolog: Operators, Backtracking-Cuts-Negation (slides)
• (16/10/2006) Logic and Prolog (4up)
• Lecture Notes: An Introduction to Prolog Programming (errata)

Part III: Complexity Theory

• (30/10/2006) Algorithms and Complexity (4up)
• (06/11/2006) Complexity Classes, Reductions and Completeness (4up)
• (13/11/2006) NP-Completeness and Beyond (4up)

Part IV: Advanced Topics

• (20/11/2006) Guest Lecture by Andreas Witzel on Description Logics
• (27/11/2006) Guest Lecture by Eric Pacuit on Propositional Dynamic Logic and Game Logic
• (04/12/2006) Temporal Logic and Model Checking (4up)