Search results for Selecta Mathematica II (Heidelberger Taschenbücher,...
Stock Image
Selecta Mathematica II: Turing-Maschinen und berechenbare Funktionen I, II, III. Aufzahlbarkeit. Entscheidungsproblem und Dominospiele. . (Heidelberger Taschenbucher) (German Edition)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 185 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB897805
Seller Image
Selecta Mathematica II -Language: german
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 22163414
Seller Image
Selecta Mathematica II -Language: german
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 22163414-n
Stock Image
Selecta Mathematica II (Heidelberger Taschenbücher, 67) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540048671_new
Buy New
US$ 60.58
US$ 15.93 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Selecta Mathematica II (Heidelberger Taschenb�cher)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540048671
Buy New
US$ 57.79
US$ 20.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Selecta Mathematica II
Published by
Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10: 3540048677
ISBN 13: 9783540048671
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeTuring-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen.- 1. Naive Vorbetrachtungen.- 1. Algorithmen in der Mathematik. Geschichtliches.- 2. Unmöglichkeitsbeweise. Churchsche These.- 3. Alphabete und Wortmengen.- 4. Eine intuitive Analyse des Algorithmenbegriffs.- 5. Berechenbare Funktionen.- 6. Entscheidbarkeit.- 2. Motivierung und Definition von Turing-Maschinen.- 1. Intuitive Normierung von Algorithmen.- 2. Turing-Maschinen.- 3. Turing-berechenbare Funktionen.- Turing-Maschinen und berechenbare Funktionen II.- 3. Beispiele für Turing-Maschinen. Turing-Diagramme.- 1. Die Elementarmaschinen.- 2. Weitere Maschinen.- 3. Motivationen für Turing-Diagramme.- 4. Definition der Turing-Diagramme.- 5. Erklärung der Arbeitsweise einer durch ein Diagramm gegebenen Maschine T.- 6. Beispiele für Turing-Diagramme. Weitere Vereinfachungen.- 7. Konstruktion von Tafeln aus Diagrammen.- 8. Weitere Beispiele von Turing-Maschinen.- 9. Nachweis der Turing-Berechenbarkeit einiger spezieller Funktionen.- 10. Darstellung einer Turing-Maschine durch ein aus den Elementarmaschinen zusammengesetztes Diagramm.- 4. Normierte Turing-Berechenbarkeit.- 1. Die Maschine T .- 2. Simulierung über dem Alphabet { }.- 3. Normierte Turing-Berechnung.- 4. Eine Verschlüsselmaschine für n-Tupel.- 5. Eine Entschlüsselmaschine.- 6. Einsetzung Turing-berechenbarer Funktionen.- 5. Einfache Beispiele unentscheidbarer Mengen.- 1. Maschinenwörter.- 2. Eine unentscheidbare Menge.- 3. Weitere unentscheidbare Mengen.- Turing-Maschinen und berechenbare Funktionen III.- 6. Eine universelle Turing-Maschine und das Aufzählungstheorem von Kleene.- 1. Die universelle Turing-Maschine U.- 2. Das Kleenesche Aufzählungstheorem für Turingberechenbare Funktionen.- 3. Das Halteproblem für U.- Literatur I-III.- Aufzählbarkeit.- 1. Einleitung.- 1. Der intuitive Begriff der Aufzählbarkeit. Inhaltsübersicht.- 2. Historische Bemerkungen.- 2. Naive Sätze über aufzählbare Mengen.- 1. Vorbemerkungen.- 2. Die Zurückführung des Berechenbarkeitsbegriffs auf den Aufzählbarkeitsbegriff.- 3. Die Zurückführung des Aufzählbarkeitsbegriffs auf den Berechenbarkeitsbegriff.- 4. Aufzählbarkeit und Entscheidbarkeit.- 3. Turing-Aufzählbarkeit.- 1. Definition und Charakterisierungen Turing-aufzählbarer Mengen.- 2. Abgeschlossenheitseigenschaften Turing-aufzählbarer Mengen.- 3. Das Aufzählungstheorem.- 4. Nicht Turing-aufzählbare Mengen.- 4. Smullyan-Aufzählbarkeit.- 1. Erzeugung von Mengen durch Kalküle.- 2. Smullyansche formale Systeme.- 3. Reduktion auf Wortmengen.- 4. Spezielle Smullyan-Systeme.- 5. Smullyan- und Turing-Aufzählbarkeit.- 1. Die Smullyan-Aufzählbarkeit der Turing-aufzählbaren Mengen.- 2. Die Turing-Aufzählbarkeit der Smullyan-aufzählbaren Mengen.- 3. Ein unentscheidbares Smullyan-System.- 4. Abschließende Bemerkungen.- 6. Die Nichtaufzählbarkeit der wahren arithmetischen Aussagen und die Unentscheidbarkeit der Arithmetik.- 1. Arithmetische Ausdrücke und Aussagen.- 2. Deutungen. Arithmetische Prädikate.- 3. Eine Übersicht.- 4. Einfache arithmetische Relationen und Paarfunktionen.- 5. Verschlüsselung von endlichen Folgen natürlicher Zahlen.- 6. Die Arithmetisierung von .- 7. Anhang. Das Gödel-Prädikat. Das Schema F\*( l, 2, 3).- 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. Seller Inventory # 9783540048671
Buy New
US$ 59.25
US$ 26.47 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Selecta Mathematica II (Heidelberger Taschenbuecher)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 185 pages. German language. 7.99x5.24x0.46 inches. In Stock. Seller Inventory # x-3540048677
Buy New
US$ 80.03
US$ 13.30 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Selecta Mathematica II
Published by
Springer Berlin Heidelberg, 1970
ISBN 10: 3540048677
ISBN 13: 9783540048671
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4878555
Buy New
US$ 59.25
US$ 56.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Selecta Mathematica II
Published by
Springer, Springer Spektrum Jan 1970, 1970
ISBN 10: 3540048677
ISBN 13: 9783540048671
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Deutsch. Seller Inventory # 9783540048671
Buy New
US$ 59.25
US$ 69.04 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Selecta Mathematica II
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540048671
Buy New
US$ 59.25
US$ 70.40 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available