Logik für Informatiker (kartoniertes Buch)

ISBN/EAN: 9783827410054
Sprache: Deutsch
Umfang: 200 S.
Format (T/L/B): 1.2 x 21 x 14 cm
Auflage: 5/2000
Einband: kartoniertes Buch
20,00 €
(inklusive MwSt.)
Nicht lieferbar
In den Warenkorb
InhaltsangabeEinleitung 1 Aussagenlogik 1.1 Grundbegriffe 1.2 Äquivalenz und Normalformen 1.3 Hornformeln 1.4 Endlichkeitssatz 1.5 Resolution 2 Prädikatenlogik 2.1 Grundbegriffe 2.2 Normalformen 2.3 Unentscheidbarkeit 2.4 HerbrandTheorie 2.5 Resolution 2.6 Verfeinerung der Resolution 3 LogikProgrammierung 3.1 Erzeugen von Antworten 3.2 Hornklauselprogramme und deren Semantik 3.3 Auswertungsstrategien 3.4 PROLOG Lösungshinweise Literaturverzeichnis Symbolverzeichnis Index
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
Einleitung 1 Aussagenlogik 1.1 Grundbegriffe 1.2 Äquivalenz und Normalformen 1.3 Hornformeln 1.4 Endlichkeitssatz 1.5 Resolution 2 Prädikatenlogik 2.1 Grundbegriffe 2.2 Normalformen 2.3 Unentscheidbarkeit 2.4 Herbrand-Theorie 2.5 Resolution 2.6 Verfeinerung der Resolution 3 Logik-Programmierung 3.1 Erzeugen von Antworten 3.2 Hornklauselprogramme und deren Semantik 3.3 Auswertungsstrategien 3.4 PROLOG Lösungshinweise Literaturverzeichnis Symbolverzeichnis Index