Absolutes Standardwerk - ein echter Klassiker in bereits 5. Auflage, verständlich geschrieben.
Uwe Schöning bietet mit "Logik für Informatik" eine Einführung in die formale Logik. Dabei konzentriert er sich vor allem auf Bereiche, die für die theoretische Informatik von Nutzen sind: In der Aussagenlogik behandelt er zusätzlich zu den wichtigsten Grundlagen die Themen Äquivalenz und Normalformen, Hornformen, den Endlichkeitssatz sowie die nützliche Methode der Resolution.
Weiterhin beschäftigt sich das Buch zum Thema Prädikatenlogik mit Normalformen, Unentscheidbarkeit, der Herbrand-Theorie sowie die Anwendung der Resolution in der Prädikatenlogik. In einem weiteren Kapitel beleuchtet Schöning diverse Aspekte der Logik-Programmierung: Neben der Erzeugung von Antworten erläutert er Hornklauseln, Auswertungsstrategien sowie die Programmiersprache PROLOG als ein Beispiel, wie die hier vorgestellten Konzepte der Logik in der Programmierung umgesetzt werden können. Das Buch ist gut verständlich, ausgesprochen angenehm zu lesen und übersichtlich strukturiert. Der Aufbau ist derart, dass sich das Buch sowohl als Lehrbuch zum Selbststudium als auch als Nachschlagewerk eignet. Das mit dem Satzsystem LaTeX gesetzte Lay-out ist sauber und übersichtlich. Zusätzlich bietet Schöning zu allen Kapiteln gut motivierte Übungsaufgaben inklusive Lösungshinweisen, aber keine fertigen Lösungen. Sehr empfehlenswert.
Comments
Monki
Contributions on this page: 2
View profileAbsolutes Standardwerk - ein echter Klassiker in bereits 5. Auflage, verständlich geschrieben.
Uwe Schöning bietet mit "Logik für Informatik" eine Einführung in die formale Logik. Dabei konzentriert er sich vor allem auf Bereiche, die für die theoretische Informatik von Nutzen sind: In der Aussagenlogik behandelt er zusätzlich zu den wichtigsten Grundlagen die Themen Äquivalenz und Normalformen, Hornformen, den Endlichkeitssatz sowie die nützliche Methode der Resolution.
Weiterhin beschäftigt sich das Buch zum Thema Prädikatenlogik mit Normalformen, Unentscheidbarkeit, der Herbrand-Theorie sowie die Anwendung der Resolution in der Prädikatenlogik. In einem weiteren Kapitel beleuchtet Schöning diverse Aspekte der Logik-Programmierung: Neben der Erzeugung von Antworten erläutert er Hornklauseln, Auswertungsstrategien sowie die Programmiersprache PROLOG als ein Beispiel, wie die hier vorgestellten Konzepte der Logik in der Programmierung umgesetzt werden können. Das Buch ist gut verständlich, ausgesprochen angenehm zu lesen und übersichtlich strukturiert. Der Aufbau ist derart, dass sich das Buch sowohl als Lehrbuch zum Selbststudium als auch als Nachschlagewerk eignet. Das mit dem Satzsystem LaTeX gesetzte Lay-out ist sauber und übersichtlich. Zusätzlich bietet Schöning zu allen Kapiteln gut motivierte Übungsaufgaben inklusive Lösungshinweisen, aber keine fertigen Lösungen. Sehr empfehlenswert.