ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Turing Computability: Theory and Applications

دانلود کتاب محاسبه تورینگ: نظریه و کاربردها

Turing Computability: Theory and Applications

مشخصات کتاب

Turing Computability: Theory and Applications

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان:   
سری: Theory and Applications of Computability 
ISBN (شابک) : 9783642319327 
ناشر: Springer 
سال نشر: 2016 
تعداد صفحات: 289 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 48,000



کلمات کلیدی مربوط به کتاب محاسبه تورینگ: نظریه و کاربردها: نظریه محاسبات، ریاضیات محاسبات، منطق ریاضی و مبانی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Turing Computability: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب محاسبه تورینگ: نظریه و کاربردها

مقاله معروف تورینگ در سال 1936 یک تعریف رسمی از ماشین محاسباتی، ماشین تورینگ را معرفی کرد. این مدل هم به توسعه کامپیوترهای واقعی و هم به نظریه محاسباتی منجر شد، مطالعه ای که ماشین ها می توانند و نمی توانند محاسبه کنند. این کتاب تئوری محاسبه‌پذیری کلاسیک را از تورینگ و پست تا نتایج و روش‌های فعلی و استفاده از آنها در مطالعه محتوای اطلاعاتی ساختارها، مدل‌های جبری و ارتباط آن‌ها با محاسبات Peano ارائه می‌کند. نویسنده موضوع را به عنوان هنری برای تمرین، و هنری به معنای زیبایی شناختی زیبایی ذاتی که همه ریاضیدانان در موضوع خود تشخیص می دهند، ارائه می دهد. بخش اول به توسعه کامل مبانی محاسبه‌پذیری، از تعریف ماشین‌های تورینگ تا آرگومان‌های اولویت آسیب محدود می‌پردازد. موضوعات کلیدی شامل محاسبه پذیری نسبی، و مجموعه های قابل شمارش قابل محاسبه است، مجموعه هایی که می توانند به طور موثر فهرست شوند اما لزوماً به طور مؤثر تصمیم نمی گیرند، مانند قضایای حساب Peano. بخش دوم شامل مطالعه مجموعه‌های باز و بسته محاسباتی واقعی و قضایای پایه و غیر مبنا برای مجموعه‌های بسته مؤثر است. بخش سوم حداقل درجه تورینگ را پوشش می دهد. قسمت چهارم مقدمه ای بر بازی ها و کاربرد آنها در اثبات قضایا است. در نهایت، قسمت پنجم تاریخچه کوتاهی از نظریه محاسباتی را ارائه می دهد. نویسنده بر اساس بازخوردهای دانشجویان، مدرسان و محققان در سراسر جهان، محتوا را در طول دهه ها بهبود بخشیده است. بیشتر فصل‌ها شامل تمرین‌ها می‌شوند و مطالب به دقت بر اساس اهمیت و دشواری ساختاربندی شده‌اند. این کتاب برای دانشجویان پیشرفته در مقاطع کارشناسی و کارشناسی ارشد در رشته علوم کامپیوتر و ریاضیات و محققانی که با قابلیت محاسبه و منطق ریاضی سروکار دارند مناسب است.


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

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.



فهرست مطالب

Front Matter....Pages i-xxxvi
Front Matter....Pages 1-1
Defining Computability....Pages 3-22
Computably Enumerable Sets....Pages 23-50
Turing Reducibility....Pages 51-78
The Arithmetical Hierarchy....Pages 79-105
Classifying C.E. Sets....Pages 107-129
Oracle Constructions and Forcing....Pages 131-146
The Finite Injury Method....Pages 147-162
Front Matter....Pages 163-163
Open and Closed Classes....Pages 165-173
Basis Theorems....Pages 175-182
Peano Arithmetic and   \\(\\Pi_1^0\\)  -Classes....Pages 183-187
Randomness and   \\(\\Pi_1^0\\)  -Classes....Pages 189-194
Front Matter....Pages 195-195
Minimal Degrees Below   \\(\\emptyset^{\\prime\\prime}\\)   ....Pages 197-202
Minimal Degrees Below   \\(\\emptyset^{\\prime}\\)   ....Pages 203-208
Front Matter....Pages 209-209
Banach-Mazur Games....Pages 211-216
Gale-Stewart Games....Pages 217-219
More Lachlan Games....Pages 221-224
Front Matter....Pages 225-225
History of Computability....Pages 227-249
Back Matter....Pages 251-263




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی