عنوان

Selecta Mathematica II

شابک

3540048677

شابک

3642881629

شابک

9783540048671

شابک

9783642881626

شماره

b574936

عنوان اصلي

Selecta Mathematica II

نام عام مواد

[Book]

نام نخستين پديدآور

herausgegeben von Konrad Jacobs.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1970

عنوان فروست

Heidelberger Taschenbücher, 67.

متن يادداشت

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

موضوع مستند نشده

Mathematics.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

herausgegeben von Konrad Jacobs.

مستند نام اشخاص تاييد نشده

Konrad Jacobs

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y