Selecta Mathematica II
Format: Paperback
ISBN13: 9783540048671
Paperback|9783540048671
✨ Featured Offer
Brand New
$53.80
List Price: $49.99
🚚
See all 3 offers from $43.64 FREE standard delivery by: 31 Mar 2026
Overview
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 I-III.- 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 0-1-Folgen.- § 1. Die Kolmogorovsche Komplexität endlicher 0-1-Wörter.- § 2. Ein gescheiterter Versuch.- § 3. Der Raum der unendlichen 0-1-Folgen.- § 4. Zufällige unendliche 0-1-Folgen.- Literatur.- Namenverzeichnis.- Symbolverzeichnis.
| ISBN-13 | 9783540048671 |
|---|---|
| ISBN-10 | 3540048677 |
| Weight | 0.48 Pounds |
| Dimensions | 5.24 x 0.46 x 7.99 In |
| List Price | $49.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | German |
| Pages | xii, 188 pages |
| Publisher | Springer |
| Published On | 1970-01-01 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Zubal Books
Cleveland, OH, USA
*Price HAS BEEN REDUCED by 10% until Monday, March 23 (weekend SALE item)* 185 pp., Paperback, ver...
Free delivery by: 31 Mar 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Text in German. Trade paperback (US). Glued binding. 188 p. Contains: Illustrations...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026