What you can find here ...
Remarks:
This lecture is given in English.
For problems concerning this lecture you may apply to Professor Kleine Büning (check for consultation hours).
Information
| Course No.: | L.079.05805 |
| Instructor: | Prof. Dr. Hans Kleine Büning |
| Übungsbetreuung: | Prof. Dr. Hans Kleine Büning |
| ECTS: | 4 (2h reading, 1h tutorial per week) |
| Readings: | Mi 14:00h-16:00h in lecture room A5 |
| Tutorials: | Group 1: Mi 11:00h-13:00h, E2.310 (odd weeks) Canceled! |
| Group 2: Mi 11:00h-13:00h, E2.310 (even weeks) | |
| Modules: | SWT&IS III.1.7 Wissensbasierte Systeme(2004) |
| SWT&IS III.1.4 Wissensbasierte Systeme(2009) | |
| Prüfung: | Oral examination. |
Contents
Kleine Büning and Lettmann's book will be the primary textbook this semester. This book provides a good introduction to most of the topics that we will cover this term.
Readings
- Introduction to Propositional Logic
- Independent Sets
- Cutting Plane Calculus
- Tableau Calculus
- Partial Satisfiability
- Quantified Boolean Formulas
- Frege Systems
Lecture slides
Literature
- H. Kleine Büning, T. Lettmann: Propositional Logic: Deduction and Algorithms, Cambridge University Press 1999.