مشخصات کتاب

Computability in context. Computation and logic in the real world

ویرایش:  
نویسندگان: Cooper S.B.,  Sorbi A. (eds.)  
سری:  
ISBN (شابک) : 9781848162778, 1848162774 
ناشر: WS 
سال نشر: 2009 
تعداد صفحات: 419 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Computability in context. Computation and logic in the real world به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب محاسبه در متن. محاسبه و منطق در دنیای واقعی

* اولین توضیح در مورد الگوریتم‌های فوق بازگشتی، سیستم‌بندی تمام کلاس‌های اصلی و ارائه یک بررسی متمرکز و قابل دسترس از نظریه و پیامدهای آن * نشان می‌دهد که چگونه این الگوریتم‌ها به عنوان مدل‌های ریاضی برای رایانه‌های مدرن مناسب‌تر هستند و چگونه چارچوب بهتری برای محاسبات ارائه می‌کنند. روش‌ها * یک دیدگاه عملی جدید را در مورد نظریه الگوریتم‌ها، محاسبات، و خودکارها ایجاد می‌کند. راهی برای عصر کامپیوتر مدرن، و تأثیر عمیقی بر دیدگاه ما از جهان. پارادایم‌های جدید محاسباتی، مبتنی بر مدل‌های بیولوژیکی و فیزیکی، به شیوه‌ای کاملاً جدید به سؤالات کارآیی می‌پردازند و مفروضات مربوط به به اصطلاح مانع تورینگ را به چالش می‌کشند. این جلد به جنبه‌های مختلف روش‌هایی می‌پردازد که محاسبات‌پذیری و علم کامپیوتر نظری دانشمندان و فیلسوفان را قادر می‌سازد تا با م. ادامه مطلب... 1. محاسبات، اطلاعات، و پیکان زمان / P. Adriaans & P. ​​van Emde Boas -- 2. The isomorphism for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M. M. ارسلانوف -- 4. پیچیدگی و تقریب در بهینه سازی مجدد / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. قابلیت تعریف در جهان واقعی / S. B. Cooper -- 6. HF-computability / Y. L. Ershov, V. G. Puzarenko و A. I. Stukachev -- 7. ریاضیات محاسبات بین منطق و فیزیک / G. Longo & T. Paul -- 8. ماشینهای حالت مایع: انگیزه، نظریه و کاربردها / W. Maass -- 9. آزمایشات روی یک رویکرد داخلی به الگوریتم های تایپ شده در تجزیه و تحلیل / D. Normann -- 10. توابع بازگشتی: یک نگاه باستان شناسی / P. Odifreddi -- 11. ریاضیات معکوس و اصول مرتب سازی خوب / M. Rathjen & A. Weiermann -- 12. مدل های محاسباتی گسسته گسسته / P. D. Welch

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

* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications * Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods * Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m.  Read more... 1. Computation, information, and the arrow of time / P. Adriaans & P. van Emde Boas -- 2. The isomorphism conjecture for NP / M. Agrawal -- 3. 3. The Ershov hierarchy / M. M. Arslanov -- 4. Complexity and approximation in reoptimization / G. Ausiello, V. Bonifaci, & B. Escoffier -- 5. Definability in the real universe / S. B. Cooper -- 6. HF-computability / Y. L. Ershov, V. G. Puzarenko, & A. I. Stukachev -- 7. The mathematics of computing between logic and physics / G. Longo & T. Paul -- 8. Liquid state machines : Motivation, theory, and applications / W. Maass -- 9. Experiments on an internal approach to typed algorithms in analysis / D. Normann -- 10. Recursive functions : An archeological look / P. Odifreddi -- 11. Reverse mathematics and well-ordering principles / M. Rathjen & A. Weiermann -- 12. Discrete transfinite computation models / P. D. Welch

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

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

دانلود کتاب Looking through Freud’s Photos

دانلود کتاب Kekulés Träume: Eine andere Einführung in die Organische Chemie

دانلود کتاب Nanotechnologie — Aufbruch ins Reich der Zwerge

دانلود کتاب A globalização e as ciências sociais

دانلود کتاب A History Of Secret Societies