Logik für Informatiker

Inhaltsverzeichnis1 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.