Logik II

Lehrveranstaltung im Grundstudium für die Studiengänge Informatik und Informationssystemtechnik

Lehrbeauftragter:    Prof. Steffen Hölldobler

Umfang:    1 SWS Vorlesungen, 1 SWS Übungen

• Mathematische Grundlagen, LV Logik (Wintersemester)

• 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

• Prädikatenlogik erster Stufe
• Beweisverfahren in der Prädikatenlogik erster Stufe
• Theorie der Logikprogrammierung

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