Propositional Proof Systems Prof.Dr. Hans Kleine Büning Summer Term 2010

What you can find here ...

• News
• Information
• Exercises
• Contents
• Literature

 

News

Due to a conference visit, there will be no lectures or exercises on July 9th.

This lecture is given in English.
For problems concerning this lecture you may apply to Prof. Dr. H. Kleine Büning (check for consultation hours).

 

Information

Vorlesungsnummer:		L.079.05804
Instructors:		Prof. Dr. H. Kleine Büning
Umfang:		2 SWS Vorlesung, 1 SWS Übung
Readings:		on Fridays from 09:15h to 10:45h in room D1.303 (first lecture on 16/04/2010)
Tutorials:		on Fridays from 11:15h to 12:45h in room D1.303 (first tutorial on 30/04/2010)
Modul (2004):		III 1.7 Wissensbasierte Systeme (Kleine Büning)
Module (2009):		III 1.4 Wissensbasierte Systeme (Kleine Büning)
Grading:		Oral examination.

 

Exercises

• Part 1

• Part 2

• Part 3

• Part 4

• Part 5

• Part 6

 

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
• Resolution
• Calculi

Lecture slides

• Introduction to Propositional Logic Part 1
• QBF Basics

 

Weiterführende Literatur

• H. Kleine Büning, T. Lettmann: Propositional Logic: Deduction and Algorithms, Cambridge University Press 1999.

---

Stand: 01/07/2010, Markus Eberling