Articles liés à Selecta Mathematica II
Résultats de recherche pour Selecta Mathematica II
Image d'archives
Selecta Mathematica II: Turing-Maschinen und berechenbare Funktionen I, II, III. Aufzahlbarkeit. Entscheidungsproblem und Dominospiele. . (Heidelberger Taschenbucher) (German Edition)
Edité par
Springer-Verlag, 1970
ISBN 10 : 3540048677
ISBN 13 : 9783540048671
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. *Price HAS BEEN REDUCED by 10% until Tuesday, Sept. 8 (SALE item)* 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. N° de réf. du vendeur ZB897805
Acheter D'occasion
EUR 39,51
Expédition à EUR 3,87
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Selecta Mathematica II (Heidelberger Taschenbücher, 67) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540048671_new
Acheter neuf
EUR 53,01
Expédition à EUR 13,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Selecta Mathematica II (Heidelberger Taschenb�cher)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540048671
Acheter neuf
EUR 50,57
Expédition à EUR 18,03
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Selecta Mathematica II
Edité par
Springer Berlin Heidelberg Jan 1970, 1970
ISBN 10 : 3540048677
ISBN 13 : 9783540048671
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540048671
Acheter neuf
EUR 49,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Selecta Mathematica II (Heidelberger Taschenbuecher)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 185 pages. German language. 7.99x5.24x0.46 inches. In Stock. N° de réf. du vendeur x-3540048677
Acheter neuf
EUR 69,55
Expédition à EUR 11,64
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Selecta Mathematica II
Edité par
Springer Berlin Heidelberg, 1970
ISBN 10 : 3540048677
ISBN 13 : 9783540048671
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4878555
Acheter neuf
EUR 49,99
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Selecta Mathematica II
Edité par
Springer, Springer Spektrum Jan 1970, 1970
ISBN 10 : 3540048677
ISBN 13 : 9783540048671
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540048671
Acheter neuf
EUR 49,99
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Selecta Mathematica II
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540048671
Acheter neuf
EUR 49,99
Expédition à EUR 61,18
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Selecta Mathematica II
Edité par
Springer, 1970
ISBN 10 : 3540048677
ISBN 13 : 9783540048671
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 23664490/202
Acheter D'occasion
EUR 26,88
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)