{"product_id":"selecta-mathematica-ii-9783540048671","title":"Selecta Mathematica II","description":"\u003cp\u003e • Author(s): H. D. Ebbinghaus | F. K. Mahn | Hans Hermes\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eTuring-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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47592412414103,"sku":"9783540048671","price":5080.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540048671.webp?v=1774977628","url":"https:\/\/atlanticbooks.com\/products\/selecta-mathematica-ii-9783540048671","provider":"Atlantic Books","version":"1.0","type":"link"}