Logik fr Informatiker: Eine Einfhrung [Paperback]

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.Springer Book Archives