Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bed?rfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Sch?ning gelingt eine kompakte und verst?ndliche Darstellung der Aussagen- und Pr?dikatenlogik, bei der die ben?tigten Begriffe pr?zise eingef?hrt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche ?bungsaufgaben mit ausf?hrlichen L?sungshinweisen erleichtern die Vertiefung des Lernstoffes.
Author(s): Uwe Schöning
Series: Sav Informatik
Edition: 5. Aufl. 2000. 2., korr. Nachdruck
Publisher: Spektrum Akademischer Verlag
Year: 2000
Language: German
Pages: 200
Inhaltsverzeichnis......Page 4
1.1 Grundbegriffe......Page 6
1.2 Äquivalenz und Normalformen......Page 11
1.3 Hornformeln......Page 15
1.4 Endlichkeitssatz......Page 17
1.5 Resolution......Page 18
2.1 Grundbegriffe......Page 24
2.2 Normalformen......Page 29
2.3 Unentscheidbarkeit......Page 34
2.4 Herbrand-Theorie......Page 38
2.5 Resolution......Page 42
2.6 Verfeinerung der Resolution......Page 50
3.1 Erzeugen von Antworten......Page 56
3.2 Hornklauselprogramme und deren Semantik......Page 60
3.3 Auswertungsstrategien......Page 67
3.4 Prolog......Page 71
Lösungshinweise......Page 77
Literaturverzeichnis......Page 95
Index......Page 98
