Anwendung der Logik (Applications of Logik) HomePage

Universität Bielefeld - Technische Fakultät

Anwendung der Logik (Applications of Logic)

Prof. Dr. Peter Ladkin

[ Main | Index of Courses | Course Descriptions and Notes ]

Last modified 18 June 1997

This seminar was first held in Summer Semester 1996. After a general introduction to logic by Prof. Ladkin (Syntax and Semantics of propositional and predicate logic; Hilbert systems; natural deduction; sequent calculi), participants gave lectures on their choice of application of logic in computer science.

The lectures and notes are:

Formal Logic and Forms of Inference (dvi), an extended intro with a little German but mostly in English by Peter Ladkin
A brief survey of some automated provers useful for verification, (HTML and Postscript), by Karsten Loer
NQTHM and PVS (dvi) by Michael Blume
An intro to Constraint Logic Programming by Dirk Henkel
A short intro to Belief Logics in AI (Postscript) by Ingo Renners
DATR, a pure inheritance language (dvi) (Postscript) by Thorsten Gerdsmeier. (This includes two eps diagrams which may not show up on your dvi viewer -- in this case, please view the Postscript version)
The generic theorem prover Isabelle (dvi) by Sebastian Wiemer
A Comparison between TLA and Situation Calculus (dvi or Postscript) by Matthias Poepsel

Those interested in theorem provers for different propositional logics over the WWW can check out the Logics Workbench version 1.0, developed at the Universität Bern in the Theoretical Informatics and Logic group of Prof. Gerhard Jäger by Alain Heuerding, Stefan Schwendimann, and others.

Peter Ladkin, 1995-09-27