Logik

Lehrveranstaltung im Grundstudium der Studiengänge Informatik, Medieninformatik und Informationssystemtechnik

Lehrbeauftragter:    Prof. Steffen Hölldobler

Umfang:    2 SWS Vorlesungen, 2 SWS Übungen

• Mathematische Grundlagen

• Steffen Hölldobler: Logik und Logikprogrammierung; Synchron Publishers, 2004
• Melvin Fitting: First-Order Logic and Automated Theorem Proving; Springer, 1997
• Uwe Schöning: Logik für Informatiker; Spektrum Akademischer Verlag, 2000

• Einführung in PROLOG
• Aussagenlogik
• Semantische Tableaux und Resolution
• Andere Beweisverfahren (Deduktion, Sequenzenkalkül, Davis-Putnam, ...)
• Prädikatenlogik erster Stufe
• Beweisverfahren in der Prädikatenlogik erster Stufe
• Implementierungen
• Theorie der Logikprogrammierung
• Gleichheit

• Weitere Hinweise
• Rückfragen bitte per E-Mail an Dr. Bertram Fronhöfer