مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب انقلاب تورینگ تأثیر ایده های او در مورد محاسبه پذیری: تورینگ، آلن ماتیسون، -- 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

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

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

دانلود کتاب Indeh, an Apache odyssey

دانلود کتاب The Theory of Groups

دانلود کتاب Creative Tourism in Smaller Communities: Place, Culture, and Local Representation

دانلود کتاب Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

دانلود کتاب Cerebral Ischemia and Calcium