Logik für Informatiker
Vorlesung
Dienstags, 16:00-18:00, Raum M 001
Donnerstags, 16:00-18:00, Raum D 028 am 16.04.15, 23.04.15, 30.04.15, 7.05.15, 21.05.15, 11.06.15, 25.06.15, 9.07.15, 23.07.15.
Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
Markus Bender
Wörterbuch Englisch-Deutsch (Deduktion)
Klausur
Nachklausur
Themen/Material
Inhalt
Einführung
Rolle der Logik in der Informatik
Grundlegenden Beweisstrategien (insbesondere Induktion/strukturelle Induktion)
Aussagenlogik
Syntax und Semantik
Resolution, Vollsätndigkeits- und Korrektheitsbeweise
Analytische Tableaux
Prädikatenlogik
Syntax und Semantik
Resolution, Vollständigkeits- und Korrektheitsbeweise
Analytische Tableaux
Literatur
Ulrich Furbach:
Logic for Computer Scientists. Vorlesungsskriptum
und Wikibook
Uwe Schöning:
Logik für Informatiker, 5. Auflage. Spektrum Akademischer Verlag, 2000.
Melvin Fitting:
First-Order Logic and Automated Theorem Proving, 2. Auflage. Springer-Verlag, 1990.