توضیحات
Turing’s famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic. The author presents the subject as an art to be practiced, and an art in the aesthetic sense of inherent beauty which all mathematicians recognize in their subject.
Part I gives a thorough development of the foundations of computability, from the definition of Turing machines up to finite injury priority arguments. Key topics include relative computability, and computably enumerable sets, those which can be effectively listed but not necessarily effectively decided, such as the theorems of Peano arithmetic. Part II includes the study of computably open and closed sets of reals and basis and nonbasis theorems for effectively closed sets. Part III covers minimal Turing degrees. Part IV is an introduction to games and their use in proving theorems. Finally, Part V offers a short history of computability theory.
The author has honed the content over decades according to feedback from students, lecturers, and researchers around the world. Most chapters include exercises, and the material is carefully structured according to importance and difficulty. The book is suitable for advanced undergraduate and graduate students in computer science and mathematics and researchers engaged with computability and mathematical logic.
————————————————————–
ترجمه ماشینی :
مقاله معروف تورینگ در سال 1936 یک تعریف رسمی از ماشین محاسباتی، ماشین تورینگ، ارائه کرد. این مدل هم به توسعه کامپیوترهای واقعی و هم به نظریه محاسباتی منجر شد، مطالعه ای که ماشین ها می توانند و نمی توانند محاسبه کنند. این کتاب تئوری محاسبهپذیری کلاسیک را از تورینگ و پست تا نتایج و روشهای فعلی و استفاده از آنها در مطالعه محتوای اطلاعاتی ساختارها، مدلهای جبری و ارتباط آنها با محاسبات Peano ارائه میکند. نویسنده موضوع را بهعنوان هنری برای تمرین، و هنری به معنای زیباییشناختی زیبایی ذاتی که همه ریاضیدانان در موضوع خود تشخیص میدهند، ارائه میکند.
بخش اول به توسعه کامل مبانی محاسبهپذیری میپردازد. تعریف ماشین های تورینگ تا آرگومان های اولویت آسیب محدود. موضوعات کلیدی شامل محاسبه پذیری نسبی، و مجموعه های قابل شمارش قابل محاسبه است، مجموعه هایی که می توانند به طور موثر فهرست شوند اما لزوماً به طور مؤثر تصمیم نمی گیرند، مانند قضایای حساب Peano. بخش دوم شامل مطالعه مجموعههای باز و بسته محاسباتی واقعی و قضایای پایه و غیر مبنا برای مجموعههای بسته مؤثر است. بخش سوم حداقل درجه تورینگ را پوشش می دهد. قسمت چهارم مقدمه ای بر بازی ها و کاربرد آنها در اثبات قضایا است. در نهایت، قسمت پنجم تاریخچه کوتاهی از نظریه محاسباتی ارائه می دهد.
نویسنده محتوا را در طول دهه ها بر اساس بازخورد دانشجویان، مدرسان و محققان در سراسر جهان بهبود بخشیده است. بیشتر فصلها شامل تمرینها میشوند و مطالب به دقت بر اساس اهمیت و دشواری ساختاربندی شدهاند. این کتاب برای دانشجویان پیشرفته در مقاطع کارشناسی و کارشناسی ارشد در علوم کامپیوتر و ریاضیات و محققانی که با قابلیت محاسبه و منطق ریاضی درگیر هستند مناسب است.
tag : دانلود کتاب محاسبات تورینگ: نظریه و کاربردها , Download محاسبات تورینگ: نظریه و کاربردها , دانلود محاسبات تورینگ: نظریه و کاربردها , Download Turing Computability: Theory and Applications Book , محاسبات تورینگ: نظریه و کاربردها دانلود , buy محاسبات تورینگ: نظریه و کاربردها , خرید کتاب محاسبات تورینگ: نظریه و کاربردها , دانلود کتاب Turing Computability: Theory and Applications , کتاب Turing Computability: Theory and Applications , دانلود Turing Computability: Theory and Applications , خرید Turing Computability: Theory and Applications , خرید کتاب Turing Computability: Theory and Applications ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.