Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Finite Automata, Formal Logic, and Circuit Complexity" von Howard Straubing ist ein Buch, das sich mit den grundlegenden Konzepten der theoretischen Informatik beschäftigt. Es untersucht die Verbindungen zwischen endlichen Automaten, formaler Logik und der Komplexität von Schaltkreisen. Das Buch bietet einen umfassenden Überblick über die Theorie der formalen Sprachen und deren Anwendungen in der Berechnungstheorie. Straubing legt besonderes Augenmerk auf die Klassifizierung von Problemen hinsichtlich ihrer Lösungskomplexität durch Schaltkreise und deren Darstellung durch logische Formeln. Er diskutiert verschiedene Modelle von Automaten und deren Fähigkeit, bestimmte Sprachklassen zu erkennen. Außerdem werden die Beziehungen zwischen diesen Modellen und logischen Systemen detailliert analysiert. Das Werk ist sowohl für Studierende als auch für Forscher gedacht, die sich mit den theoretischen Aspekten der Informatik beschäftigen. Es bietet eine tiefe Einsicht in die mathematischen Grundlagen der Computerwissenschaften und zeigt auf, wie diese Konzepte zur Analyse der Effizienz von Algorithmen und Rechenmodellen genutzt werden können.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
