مشخصات کتاب

Rekursive Funktionen und ihre Komplexität

ویرایش: 1 
نویسندگان: Prof. Dr. rer. nat. Claus Peter Schnorr (auth.)  
سری: Leitfäden der angewandten Mathematik und Mechanik LAMM 
ISBN (شابک) : 9783519023227, 9783322947017 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1974 
تعداد صفحات: 194 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب توابع بازگشتی و پیچیدگی آنها: مهندسی، عمومی

در صورت تبدیل فایل کتاب Rekursive Funktionen und ihre Komplexität به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توابع بازگشتی و پیچیدگی آنها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب توابع بازگشتی و پیچیدگی آنها

این کتاب برخاسته از سخنرانی‌هایی است که من در سال‌های 1970 تا 1973 در دانشگاه‌های زاربروکن، ارلانگن-نورنبرگ و فرانکفورت ایراد کردم. هدف این کتاب ایجاد مبانی محاسبه‌پذیری و محاسبات بر اساس مدل‌های ماشینی انتزاعی است که به موجب آن اصطلاح ماشین همیشه یک روش کار متوالی را در نظر می‌گیرد. تئوری توابع بازگشتی با استفاده از مفاهیم علوم کامپیوتر مانند برنامه، ماشین و شبیه سازی توسعه یافته است. با این حال، این ساختار به اندازه کافی گسترده است و نه تنها برای یک مدل ماشین خاص مانند. ب. ماشین تورینگ گره خورد. توسعه سیستماتیک مفاهیم شبیه‌سازی و GOdelization اجازه می‌دهد که اثبات‌های هم ارزی برای کلاس‌های توابع قابل محاسبه تورینگ، ثبت محاسبه‌پذیر و بازگشتی به تفصیل و، به اعتقاد من، به شکل واضح ارائه شوند. هنگام انتخاب موضوع، من فقط حوزه هایی را در نظر گرفتم که در ویژگی های اساسی خود کاملاً توسعه یافته اند و می توانند به صورت سیستماتیک ارائه شوند. به همین دلیل، من از تلاش محاسباتی مربوط به مسائل بتن، که مورد توجه ویژه علوم کامپیوتر است، صرف نظر کرده ام. من این حوزه را که مانند تئوری محاسبات در حوزه های محدود، در یک توسعه متلاطم، به ارائه های آینده واگذار کرده ام.

توضیحاتی درمورد کتاب به خارجی

Dieses Buch entstand aus Vorlesungen, die ich in den lahren 1970 bis 1973 an den Universitiiten Saarbriicken, Erlangen-Niirnberg und Frankfurt gehalten habe. Das Ziel des Buches ist es, die Grundlagen der Berechenbarkeit und des Rechen­ aufWandes auf der Basis abstrakter Maschinenmodelle aufzubauen, wobei beim Be­ griff Maschine stets eine sequentielle Arbeitsweise vorausgesetzt wird. Die Theorie der rekursiven Funktionen wird mittels Begriffsbildungen der Informatik wie Pro­ gramm, Maschine und Simulation entwickelt; dieser Aufbau wird jedoch hinreichend breit angelegt und nicht nur an ein spezielles Maschinenmodell wie z. B. die Turing­ maschine gekniipft. Die systematische Entwicklung der Begriffe Simulation und GOdelisierung gestattet es, die Aquivalenzbeweise ftir die Klassen der turingberechen­ baren, registerberechenbaren und rekursiven Funktionen detailliert und, wie ich glaube, in iibersichtlicher Form darzustellen. Bei der Stoffauswahl habe ich nur solche Gebiete beriicksichtigt, die heute in ihren Grundziigen bereits voll entwickelt sind und in systematischer Form dargestellt werden konnen. Aus diesem Grund habe ich auf die fUr die Informatik besonders interessanten Fragen des Berechnungsaufwandes bei konkreten Problemen verzichtet. Dieses Gebiet, das ebenso wie die Theorie der Berechnungen iiber endliche Bereiche in einer stiirmischen Entwicklung begriffen ist, habe ich zukiinftigen Darstellungen iiberlassen.

فهرست مطالب

Front Matter....Pages N2-10
Grundbegriffe und Bezeichnungen....Pages 11-17
Der Begriff des Algorithmus....Pages 17-21
Maschinen, Programme und berechenbare Funktionen....Pages 22-40
Rekursive Funktionen....Pages 40-60
Rekursive Aufzählungen....Pages 60-76
Das Rekursionstheorem und Anwendungen....Pages 76-91
Unentscheidbare Prädikate....Pages 91-116
Subrekursive Funktionenklassen....Pages 117-140
Rechenzeit und effiziente Berechnungsmodelle....Pages 140-155
Maschinenunabhängige Komplexitätstheorie....Pages 155-181
Ausblick auf aktuelle Fragen der Forschung....Pages 182-184
Back Matter....Pages 185-193

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Going on being: life at the crossroads of Buddhism and therapy

دانلود کتاب Organ Works, Volume III: Organ Chorales. Part 2

دانلود کتاب Algebra fur Einsteiger. Von der Gleichungsauflosung zur Galois-Theorie

دانلود کتاب Tackling Under Performance in Teachers

دانلود کتاب How to Love Teaching Again: Work Smarter, Beat Burnout, and Watch Your Students Thrive