Logik für Informatiker
Vorlesung
Dienstags, 16:00 s.t.- 18:00, Raum M 001 am
- 10.04.18, 17.04.18, 24.04.18,
- 8.05.18, 15.05.18, 29.05.18,
- 12.06.18, 26.06.18,
-
3.07.18, 10.07.18
Donnerstags, 16:00 s.t. - 18:00, Raum M 001.
Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
Do. 8:00-9:00: Sebastian Thunert (Raum: G 309)
Do. 9:00-10:00: Johannes Thielen (Raum: G 309)
Fr. 9:00-10:00: Johannes Thielen (Raum: G 309)
Wörterbuch Englisch-Deutsch (Deduktion)
Aktuelles
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.