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 |
|
$31.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Neuroinflammation From Bench to Bedside
$109.99
Management by Permission
$69.99
Special Topics in Structural Dynamics & Experimental Techniques, Volume 5
$279.99
Chemisches Praktikum fr Mediziner
$49.99
First on Call for Urology
$74.99
Lineare Algebra
$74.99
Late Stages of Stellar Evolution
$169.00
Innovationslobbying
$49.99
Women, Law and Culture
$99.00
Wahl83
$59.99
Lexical Semantics and Knowledge Representation
$39.99
Multimedia Communications
$54.99
Geodetic Deformation Monitoring: From Geophysical to Engineering Roles
$169.00
Ungleiche Netzwerke - Vernetzte Ungleichheit
$59.99
Some Aspects of Migration Problems in the Netherlands / Some Quantitative Aspects of the Future Popu
$39.99
Vitamin D in Chronic Kidney Disease
$109.99
Mobile ASP.NET MVC 5
$44.99
Antimicrobial Drug Resistance
$299.99
Wine Queens
$54.99
RF, Microwave and Millimeter Wave Technologies
$159.99
Implantation
$54.99
The Arc of Faith-Based Initiatives
$89.99
Advanced Problem in Mechanics III
$169.00
5000 Years of Geometry
$199.99
Antiphospholipid Antibody Syndrome
$109.99
Noise-Induced Transitions
$109.99
Fuzzy Probabilities
$109.99
Farming, Famine and Plague
$199.99
The Informational Complexity of Learning
$109.99
Mit GeoGebra mehr Mathematik verstehen
$39.99
Classical and Quantum Aspects of Gravity in Relation to the Emergent Paradigm
$139.99
Second Trimester Pregnancy Termination
$54.99
Belly Breathe
$4.46
High-Performance Computing
$129.00
Standard EEG: A Research Roadmap for Neuropsychiatry
$219.99
Molecular and Cell Biology of Pancreas Development, Function and Regeneration
$129.99
Die Luftvorwrmung im Dampfkesselbetrieb
$49.99
The Regional Distribution of Foreign Manufacturing Investment in the UK
$109.99
Learning Systems: From Theory to Practice
$199.99
