Logik für Informatiker Eine Einführung
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1991, 1991
|
| Edition: | 2nd ed. 1991 |
| Series: | Leitfäden und Monographien der Informatik
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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