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
Einband: kartoniertes Buch
20,00 €
(inklusive MwSt.)
Sofort 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.