Selecta Mathematica II

Häftad, Tyska, 1970

Av H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs, H. D. Ebbinghaus, F. K. Mahn, H.D. Ebbinghaus, F.K. Mahn

669 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1970-01-01
Mått133 x 203 x 12 mm
Vikt236 g
FormatHäftad
SpråkTyska
SerieHeidelberger Taschenbücher
Antal sidor188
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540048671

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

Historiens återkomst: Europa och världsordningens sammanbrott

Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

329 kr

Mathematical Logic

Mathematical Logic

H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas, H. -D Ebbinghaus, H. -D. Ebbinghaus

859 kr

Zahlen

Del 1

Zahlen

H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel, R. Remmert, H. -D Ebbinghaus, H. -D. Ebbinghaus, K. Lamotke

739 kr

Hon som blev kvar

4 pocket för 3

Hon som blev kvar

125 kr

Inte krig och inte fred

Nyhet

Del 4

Inte krig och inte fred

269 kr299 kr

Proben mathematischen Denkens

Proben mathematischen Denkens

739 kr

Neuere Methoden und Ergebnisse der Ergodentheorie

Neuere Methoden und Ergebnisse der Ergodentheorie

669 kr

Discrete Stochastics

Discrete Stochastics

Konrad Jacobs, K. Jacobs, Konrad Jacobs

1 139 kr

Din vilja sitter i skogen

Nyhet

Din vilja sitter i skogen

Mattias Timander

79 kr115 kr

Selecta Mathematica III

Del 86

Selecta Mathematica III

799 kr