Logik für Informatiker

Inhaltsverzeichnis

• 1 Einführung und mathematische Grundlagen.
• 1.1 Einführung in die Fragestellung.
• 1.2 Allgemeine mathematische Grundbegriffe.
• 1.3 Berechenbarkeit.
• 1.4 Erzeugungssysteme, Termmengen.
• 2 Aussagenlogik.
• 2.1 Aussagenlogische Formeln, die Syntax.
• 2.2 Interpretationen und Belegungen.
• 2.3 Tautologien und logische Äquivalenz.
• 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.
• 3 Prädikatenlogik.
• 3.1 Einleitung.
• 3.2 Syntax der Prädikatenlogik.
• 3.3 Semantik und logische Grundbegriffe.
• 3.4 Formalisierung des logischen Schließens.
• 3.5 Normalformen prädikatenlogischer Formeln.
• 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.
• 3.7 Die Unentscheidbarkeit der Prädikatenlogik.
• 3.8 Prädikatenlogik mit Gleichheit.
• 3.9 Theorien.
• 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.
• 4 Grundlagen der Logischen Programmierung.
• 4.1 Logik-Programme.
• 4.2 Unifikation.
• 4.3 Berechnungen von Logik-Programmen.
• 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.
• 5 Modale Aussagenlogik.
• 5.1 Einführung in die Modallogik.
• 5.2 Entscheidbarkeit.
• 5.3 Von der Modallogik zur Temporären Logik.
• Übungsaufgaben.
• Das Griechische Alphabet.
• Verzeichnis der verwendeten Symbole.
• Stichwort- und Namensverzeichnis.