Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Automatentheorie Und Logik

by Martin Hofmann , Martin Lange
Save 35% Save 35%
Current price ₹2,265.00
Original price ₹3,484.00
Original price ₹3,484.00
Original price ₹3,484.00
(-35%)
₹2,265.00
Current price ₹2,265.00

Imported Edition - Ships in 12-14 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783642180897
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 238
  • Original Price: EUR 30.83
  • Language: German
  • Edition: 2011
  • Item Weight: 359 grams
  • BISAC Subject(s): Logic

Das Buch besch�ftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen W�rtern sowie B�umen. Es behandelt klassische Resultate wie die S�tze von B�chi 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 W�rter. Der Zweite die Theorie auf den Bereich der B�ume auszudehnen. Der dritte Teil besch�ftigt sich kurz mit endlichen B�umen. Im vierten Teil geht es dann um Automatentheorie und Logik �ber unendliche B�ume.

Jeder Teil endet mit Vorschl�gen f�r �bungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterf�hrende Literatur verweisen oder die Herkunft von pr�sentierten Resultaten erkl�ren. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erw�hnten Vorkenntnissen zur Theorie formaler Sprachen und zun�chst ohne weitere Hilfsmittel durchgearbeitet werden kann.

Prof. Dr. Martin Lange, lehrt an der Universität Kassel, Fachbereich Elektronik/Informatik, Germany

Prof. Dr. Martin Hofmann, lehrt an der Ludwig-Maximilians-Universität München, Institut für Informatik, Theoretische Informatik, Germany

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us