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

Selecta Mathematica II

by H. D. Ebbinghaus , F. K. Mahn , Hans Hermes
Save 2% Save 2%
Current price ₹5,080.00
Original price ₹5,199.00
Original price ₹5,199.00
Original price ₹5,199.00
(-2%)
₹5,080.00
Current price ₹5,080.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783540048671
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Springer
  • Publisher Imprint: Springer
  • Publication Date:
  • Pages: 188
  • Original Price: GBP 39.99
  • Language: German
  • Edition: N/A
  • Item Weight: 218 grams
  • BISAC Subject(s): General

Turing-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen.- 1. Naive Vorbetrachtungen.- 2. Motivierung und Definition von Turing-Maschinen.- Turing-Maschinen und berechenbare Funktionen II.- 3. Beispiele für Turing-Maschinen. Turing-Diagramme.- 4. Normierte Turing-Berechenbarkeit.- 5. Einfache Beispiele unentscheidbarer Mengen.- Turing-Maschinen und berechenbare Funktionen III.- 6. Eine universelle Turing-Maschine und das Aufzählungstheorem von Kleene.- Literatur IIII.- Aufzählbarkeit.- 1. Einleitung.- 2. Naive Sätze über aufzählbare Mengen.- 3. Turing-Aufzählbarkeit.- 4. Smullyan-Aufzählbarkeit.- 5. Smullyan- und Turing-Aufzählbarkeit.- 6. Die Nichtaufzählbarkeit der wahren arithmetischen Aussagen und die Unentscheidbarkeit der Arithmetik.- Literatur.- Entscheidungsproblem und Dominospiele.- 1. Zum Entscheidungsproblem der Prädikatenlogik. Teil 1..- 2. Ausdrücke, Präfixe, Präfixtypen. Durch solche Typen bestimmte Ausdrucksklassen.- 3. Erfüllbarkeit von Ausdrücken.- 4. Zum Entscheidungsproblem der Prädikatenlogik. Teil 2..- 5. Dominoprobleme.- 6. Die Definition des einer Turing-Tafel zugeordneten Eck-Dominospiels $${D_{{T^{,\;}}}}D_T^0$$.- 7. Lemma: Wenn M(T) angesetzt auf das leere Band, unendlich lange läuft, ist das Eck-Dominospiel $${D_{{T^{,\;}}}}D_T^0$$ gut.- 8. Lemma: Wenn das Eck-Dominospiel $${D_{{T^{,\;}}}}D_T^0$$ gut ist, läuft M(T), angesetzt auf das leere Band, unendlich lange.- 9. Die Definition des einem Eck-Dominospiel $$D,\;{D^0}$$ zugeordneten Ausdrucks $${\alpha _{D,\;{D^0}}}$$.- 10. Lemma: Wenn das Eck-Dominospiel $$D,\;{D^0}$$ gut ist, dann ist $${\alpha _{D,\;{D^0}}}$$ erfüllbar.- 11. Lemma: Das Eck-Dominospiel $$D,\;{D^0}$$ ist gut, wenn$${\alpha _{D,\;{D^0}}}$$ erfüllbar ist.- 12. Übergang zur engeren Prädikatenlogik.- 13. Ausblick auf die Ausdrucksklasse ? ? ? und das Diagonal-Dominoproblem.- Literatur.- Turing-Maschinen und zufällige 01-Folgen.- 1. Die Kolmogorovsche Komplexität endlicher 01-Wörter.- 2. Ein gescheiterter Versuch.- 3. Der Raum der unendlichen 01-Folgen.- 4. Zufällige unendliche 01-Folgen.- Literatur.- Namenverzeichnis.- Symbolverzeichnis.

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