Del i serien Heidelberger Taschenbücher

Selecta Mathematica II

Häftad, Tyska, 1970

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

659 kr

Beställningsvara. Skickas inom 10-15 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.

Mer från samma serie

Virus und Molekularbiologie

W. Weidel

Häftad

739 kr

Del 5

Biologie der Antibiotica

H. Zähner

Häftad

739 kr

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad

719 kr

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Gottfried Falk

Häftad

849 kr

Die Welt der Elementarteilchen

Kenneth W. Ford

Häftad

719 kr

Experimentelle Methoden der Kernphysik

P. Stoll

Häftad

719 kr

Quantenmechanik in algebraischer Darstellung

Herbert S. Green

Häftad

849 kr

Elektronentheorie der Metalle

A. Sommerfeld, H. Bethe, A. Sommerfeld, H. Bethe

Häftad

979 kr

Der plötzliche Herzstillstand

M. Körner

Häftad

739 kr

Massage und physikalische Behandlungsmethoden

Wilhelm Reinhard

Häftad

739 kr

Du kanske också är intresserad av

Proben mathematischen Denkens

Konrad Jacobs

Häftad

719 kr

Neuere Methoden und Ergebnisse der Ergodentheorie

Konrad Jacobs

Häftad

649 kr

Discrete Stochastics

Konrad Jacobs, K. Jacobs, Konrad Jacobs

Inbunden

1 109 kr

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

Häftad

719 kr