دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Turing's revolution. The impact of his ideas about computability
دانلود کتاب انقلاب تورینگ تأثیر ایده های او در مورد محاسبه پذیری
مشخصات کتاب
Turing's revolution. The impact of his ideas about computability
ویرایش: 1st ed. نویسندگان: Sommaruga. Giovanni, Strahm. Thomas Adrian, Turing. Alan Mathison (eds.) سری: ISBN (شابک) : 3319221558, 3319221566 ناشر: Birkhäuser سال نشر: 2016 تعداد صفحات: 347 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب انقلاب تورینگ تأثیر ایده های او در مورد محاسبه پذیری: تورینگ، آلن ماتیسون، -- 1912-1954، علوم کامپیوتر -- ریاضیات، توابع محاسباتی، کامپیوترها / سواد کامپیوتر، کامپیوترها / علوم کامپیوتر، کامپیوترها / پردازش داده ها، کامپیوترها / سخت افزار / عمومی، کامپیوترها / فناوری اطلاعات، کامپیوترها / نظریه ماشین ,کامپیوتر / مرجع
در صورت تبدیل فایل کتاب Turing's revolution. The impact of his ideas about computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب انقلاب تورینگ تأثیر ایده های او در مورد محاسبه پذیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب انقلاب تورینگ تأثیر ایده های او در مورد محاسبه پذیری
این کتاب مروری بر تلاقی ایده‌ها در عصر تورینگ و آثار او ارائه می‌کند و تأثیر کار او را بر منطق ریاضی و علوم کامپیوتر نظری بررسی می‌کند. این ترکیبی از مشارکت دانشمندان مشهور در تاریخ و فلسفه نظریه محاسباتی و همچنین در مورد محاسبه پذیری تورینگ تعمیم یافته است. با نگاهی به ریشه‌ها و تأثیرات فلسفی و فنی آثار تورینگ، می‌توان دیدگاه‌های جدید و موضوعات تحقیقاتی جدیدی را گردآوری کرد که می‌توان آن‌ها را ادامه ایده‌های کاری تورینگ تا قرن بیست و یکم دانست.
توضیحاتی درمورد کتاب به خارجی
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence of Turing’s work, it is possible to gather new perspectives and new research topics which might be considered as a continuation of Turing’s working ideas well into the 21st century
فهرست مطالب
Front Matter....Pages i-xxiv
Front Matter....Pages 1-1
Conceptual Confluence in 1936: Post and Turing....Pages 3-27
Algorithms: From Al-Khwarizmi to Turing and Beyond....Pages 29-42
The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?....Pages 43-101
Front Matter....Pages 103-103
Theses for Computation and Recursion on Concrete and Abstract Structures....Pages 105-126
Generalizing Computability Theory to Abstract Algebras....Pages 127-160
Discrete Transfinite Computation....Pages 161-185
Semantics-to-Syntax Analyses of Algorithms....Pages 187-206
The Information Content of Typical Reals....Pages 207-224
Proof Theoretic Analysis by Iterated Reflection....Pages 225-270
Front Matter....Pages 271-271
Alan Turing and the Foundation of Computer Science....Pages 273-281
Proving Things About the Informal....Pages 283-296
Why Turing’s Thesis Is Not a Thesis....Pages 297-310
Incomputability Emergent, and Higher Type Computation....Pages 311-329
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Controlling environmental pollution: an introduction to the technologies, history and ethics
دانلود کتاب A Synopsis of Rheumatic Diseases
دانلود کتاب Plant Breeding Reviews, Volume 8
