نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
ورود / ثبت نام
عنوان
Selecta Mathematica II
پدید آورنده
herausgegeben von Konrad Jacobs.
موضوع
Mathematics.
رده
QA1
.
H473
1970
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
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.
رده بندی کنگره
شماره رده
QA1
نشانه اثر
.
H473
1970
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
herausgegeben von Konrad Jacobs.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Konrad Jacobs
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد