Copied Automatentheorie und Logik
Automatentheorie und Logik
Das Buch beschftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wrtern sowie Bumen. Es behandelt klassische Resultate wie die Stze von Bchi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden lassen. Die einzelnen Kapitel sind in vier Teile zusammengefasst. Diese unterscheiden sich in den Strukturen, ber denen jeweils Automatentheorie und Logik betrieben wird. Der erste Teil behandelt endliche Wrter. Der Zweite die Theorie auf den Bereich der Bume auszudehnen. Der dritte Teil beschftigt sich kurz mit endlichen Bumen. Im vierten Teil geht es dann um Automatentheorie und Logik ber unendliche Bume. Jeder Teil endet mit Vorschlgen fr bungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterfhrende Literatur verweisen oder die Herkunft von prsentierten Resultaten erklren. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erwhnten Vorkenntnissen zur Theorie formaler Sprachen und zunchst ohne weitere Hilfsmittel durchgearbeitet werden kann.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$34.99 | $34.99 |
|
$34.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Computational Intelligence in Sensor Networks
$199.99
Sustainable Development
$129.00
Quality Function Deployment for Buildable and Sustainable Construction
$109.99
Computer and Information Science 2009
$169.99
Education, Participatory Action Research, and Social Change
$54.99
Annual Update in Intensive Care and Emergency Medicine 2021
$169.99
Die Entropietafel fr Luft und ihre Verwendung zur Berechnung der Kolben- und Turbo-Kompressoren
$59.99
Multilabel Classification
$109.99
Education, Arts, and Morality
$84.99
Forschungsdesign in der Politikwissenschaft
$17.99
Einfhrung in die Zahlentheorie und Algebra
$39.99
Cutaneous Manifestations of Endocrine Diseases
$54.99
Neuere Untersuchungen ber Wachsthum und Ertrag normaler Kiefernbestnde in der norddeutschen Tiefeb
$49.99
Mathematical Foundations of Game Theory
$84.99
Frontiers in Number Theory, Physics, and Geometry I
$169.99
In-Flight Simulators and Fly-by-Wire/Light Demonstrators
$99.00
IoC - Internet of Construction
$74.99
Fixed Point Theory of Parametrized Equivariant Maps
$29.99
Carrier Communication over Power Lines
$59.99
Biosphrenreservate in Deutschland
$89.99
Instruments of Money Market and Foreign Exchange Market Policy in the Netherlands
$54.99
Techniques for Computer Graphics
$54.99
Flexible Work Organizations
$109.99
Pacifists, Patriots and the Vote
$39.99
Beginning MongoDB Atlas with .NET
$49.99
Air-Sea Interaction
$109.99
System Dynamics for Mechanical Engineers
$129.99
Software-Entwicklung in der Chemie 3
$69.99
Die Aluminium-Industrie
$64.99
Design Frameworks for Wireless Networks
$199.99
Global Sourcing
$59.99
Grundlagen der Onpage-Optimierung
$19.99
Quantum Gravity
$84.99
Sustainable Excellence in and Sized Enterprises
$99.99
Scientific Method
$54.99
bungsaufgaben aus der Technischen Mechanik
$89.99
Host-Fungus Interactions
$219.99
Knstliche Organische Farbstoffe und Ihre Zwischenprodukte
$84.99
IT and European Bank Performance
$109.99
Analysis and Optimization of Systems
$39.99
