Logik für Informatiker

von

Schöning, Uwe

BuchKartoniert, Paperback

190 Seiten

Deutsch

Springer Spektrumerschienen am20.01.20005. Aufl.

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. 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.mehr

Auf dieser Seite:

EUR29,99

In den Warenkorb

Produkt

KlappentextDas Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. 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.

ZusammenfassungDieses gut im Markt eingeführte Standardwerk konzentriert sich auf die für Informatiker wesentlichen Teile der Logik. Es steht auf der Empfehlungsliste vieler Hochschuldozenten und wird teilweise als Skript zur Vorlesung verwendet.

Details

ISBN/GTIN978-3-8274-1005-4

ProduktartBuch

EinbandartKartoniert, Paperback

Verlag

Springer Spektrum

Erscheinungsjahr2000

Erscheinungsdatum20.01.2000

Auflage5. Aufl.

Seiten190 Seiten

SpracheDeutsch

Gewicht288 g

IllustrationenX, 190 S. 28 Abb.

Artikel-Nr.10498739

Rubriken

GenreComputer/Internet/EDV

Inhalt/Kritik

Inhaltsverzeichnis

Einleitung1 Aussagenlogik1.1 Grundbegriffe1.2 Äquivalenz und Normalformen1.3 Hornformeln1.4 Endlichkeitssatz1.5 Resolution2 Prädikatenlogik2.1 Grundbegriffe2.2 Normalformen2.3 Unentscheidbarkeit2.4 Herbrand-Theorie2.5 Resolution2.6 Verfeinerung der Resolution3 Logik-Programmierung3.1 Erzeugen von Antworten3.2 Hornklauselprogramme und deren Semantik3.3 Auswertungsstrategien3.4 PROLOGLösungshinweiseLiteraturverzeichnisSymbolverzeichnisIndexmehr