Propositional Proof Systems

Prof. Dr. Hans Kleine Büning

Summer Term 2011

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

Lecture slides

 

Literature

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

 

Impressum | Webmaster | Letzte Änderungen am : 05.07.2011