Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Obwohl eine Reihe neuerer technologischer Anwendungen klassisches deduktives Rechnen mit nicht-klassischer Logik erfordern, funktionieren viele Schlüsseltechnologien immer noch gut - oder sogar ausschließlich - mit klassischer Logik.
In diesem ersten Teil eines zweibändigen Werks wird das klassische deduktive Rechnen mit klassischer Logik näher erläutert. Das Ziel des Haupttextes ist es, dem Leser eine gründliche Ausarbeitung sowohl des klassischen Rechnens - auch bekannt als formale Sprachen und Automatentheorie - als auch der klassischen Deduktion mit dem klassischen Prädikatenkalkül erster Ordnung im Hinblick auf rechnerische Implementierungen, insbesondere im automatisierten Theorembeweisen und in der logischen Programmierung, zu geben.
Als Ergänzung zur mathematisch fundierten Darstellung der Themen bieten wir dem Leser eine sehr große Auswahl an Übungen. Diese Auswahl zielt nicht nur auf das Üben des besprochenen Stoffes, sondern auch auf kreative Problemlösungen, sowohl für besprochene als auch für neue Inhalte, sowie auf die Erforschung weiterer relevanter Themen. Die vorliegende dritte Auflage verbessert die vorherigen Auflagen durch einen insgesamt stärker algorithmischen Ansatz: Es gibt jetzt einen völlig neuen Abschnitt über Algorithmen und insgesamt vierzehn klar isolierte Algorithmen, die in Pseudocode entworfen sind.
Weitere Verbesserungen sind z.B. ein Schwerpunkt auf Funktionen in Kapitel 1 und mehr Übungen mit Turingmaschinen.
| ISBN: | 9781848902800 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
