Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic, 53, Band 53)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Well-Quasi Orders in Computation, Logic, Language and Reasoning" von Schuster ist ein umfassendes Werk, das die Rolle von Well-Quasi-Ordnungen (WQOs) in verschiedenen Bereichen der theoretischen Informatik und Logik untersucht. Das Buch beleuchtet, wie WQOs als einheitliches Konzept genutzt werden können, um Probleme und Theorien in der Beweistheorie, Automatentheorie, formalen Sprachen und der deskriptiven Mengenlehre zu adressieren. Es bietet eine detaillierte Analyse der Anwendung von WQOs zur Vereinfachung komplexer mathematischer Beweise und zur Verbesserung des Verständnisses grundlegender Strukturen in diesen Disziplinen. Durch die Verbindung dieser unterschiedlichen Bereiche zeigt Schuster auf, wie WQOs als universelles Werkzeug dienen können, um logische Schlussfolgerungen zu ziehen und algorithmische Prozesse zu optimieren.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
![Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)](https://d3k2uuz9r025mk.cloudfront.net/media/image/47/d7/69/1776258024_138717603718.jpg "Witten Non Abelian Localization for Equivariant K-theory, and the [Q,R]= 0 Theorem (261) (Memoirs of the American Mathematical Society, 1257, Band 261)")
