Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage

Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage (M. Augusto Luis)

Originaltitel:

Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848902800
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued...
Vielwertige Logiken sind Logiken, die mehr als die...
Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical...
Languages, machines, and classical computation ist ein neues...
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical Computation
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite...
Obwohl eine Reihe neuerer technologischer...
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences:...
Die Theorie der logischen Konsequenz ist von...
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and...
In der Logik geht es zweifellos um Beweise, aber...
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and Proofs

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)