Automatentheorie und Logik

Name: Automatentheorie und Logik
Brand: Springer Nature
SKU: 9783642180897
Availability: InStock

Best Price (Coupon Required):
Buy Automatentheorie und Logik for $31.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $34.99 - $34.99

BEST PRICE

Single Product Purchase

$31.50

@ Link.springer.com with extra coupon

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 @ Link.springer.com		$34.99	$34.99		10% OFF This deals requires coupon	$31.50		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783642180897

Condition

New

Product Description

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.

Available Colors

N/A

Available Sizes

N/A