|
|
|
|
LEADER |
02245nmm a2200301 u 4500 |
001 |
EB000678679 |
003 |
EBX01000000000000000531761 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783642881626
|
100 |
1 |
|
|a Ebbinghaus, H.D.
|
245 |
0 |
0 |
|a Selecta Mathematica II
|h Elektronische Ressource
|c von H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs
|
250 |
|
|
|a 1st ed. 1970
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1970, 1970
|
300 |
|
|
|a XII, 188 S. 1 Abb
|b online resource
|
505 |
0 |
|
|a § 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
|
505 |
0 |
|
|a 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. --
|
653 |
|
|
|a Mathematics
|
700 |
1 |
|
|a Mahn, F.K.
|e [author]
|
700 |
1 |
|
|a Hermes, Hans
|e [author]
|
700 |
1 |
|
|a Jacobs, Konrad
|e [author]
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Heidelberger Taschenbücher
|
028 |
5 |
0 |
|a 10.1007/978-3-642-88162-6
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-88162-6?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 510
|