Universität Ulm ,
Fakultät für Informatik
, Abteilung Theoretische Informatik
Ankündigung der Lehrveranstaltung
Kalküle und Algorithmen in der Logik
im WS 1999/2000
Typ
Vorlesung (2V, 3 Leistungspunkte)
Veranstalter
Prof. Dr. Uwe Schöning
Inhalt
Verschiedene Kalküle in der Logik, vorwiegend der Aussagenlogik:
Resolution, semantic trees, Sequenzenkalkül, Algorithmen fuer das
SAT-Problem.
Literatur
- Kleine Bühning, Lettman: Aussagenlogik: Deduktion und Algorithmen. Teubner-Verlag.
Jochen Messner - 15.7.99