|
" Selecta Mathematica II "
herausgegeben von Konrad Jacobs.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
754974
|
| Doc. No
|
:
|
b574936
|
| Main Entry
|
:
|
herausgegeben von Konrad Jacobs.
|
| Title & Author
|
:
|
Selecta Mathematica II\ herausgegeben von Konrad Jacobs.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1970
|
| Series Statement
|
:
|
Heidelberger Taschenbücher, 67.
|
| ISBN
|
:
|
3540048677
|
|
|
:
|
: 3642881629
|
|
|
:
|
: 9783540048671
|
|
|
:
|
: 9783642881626
|
| Contents
|
:
|
Turing-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen --; {sect} 1. Naive Vorbetrachtungen --; {sect} 2. Motivierung und Definition von Turing-Maschinen --; Turing-Maschinen und berechenbare Funktionen II --; {sect} 3. Beispiele für Turing-Maschinen. Turing-Diagramme --; {sect} 4. Normierte Turing-Berechenbarkeit --; {sect} 5. Einfache Beispiele unentscheidbarer Mengen --; Turing-Maschinen und berechenbare Funktionen III --; {sect} 6. Eine universelle Turing-Maschine und das Aufzählungstheorem von Kleene --; Literatur I-III --; Aufzählbarkeit --; {sect}1. Einleitung --; {sect} 2. Naive Sätze über aufzählbare Mengen --; {sect} 3. Turing-Aufzählbarkeit --; {sect}4. Smullyan-Aufzählbarkeit --; {sect} 5. Smullyan- und Turing-Aufzählbarkeit --; {sect} 6. Die Nichtaufzählbarkeit der wahren arithmetischen Aussagen und die Unentscheidbarkeit der Arithmetik --; Literatur --; Entscheidungsproblem und Dominospiele --; {sect} 1. Zum Entscheidungsproblem der Prädikatenlogik. Teil 1. --; {sect} 2. Ausdrücke, Präfixe, Präfixtypen. Durch solche Typen bestimmte Ausdrucksklassen --; {sect} 3. Erfüllbarkeit von Ausdrücken --; {sect} 4. Zum Entscheidungsproblem der Prädikatenlogik. Teil 2. --; {sect} 5. Dominoprobleme --; {sect} 6. Die Definition des einer Turing-Tafel zugeordneten Eck-Dominospiels
|
| Subject
|
:
|
Mathematics.
|
| LC Classification
|
:
|
QA1.H473 1970
|
| Added Entry
|
:
|
Konrad Jacobs
|
| |