کتاب Computability and Unsolvability

وضعیت موجودی موجود

مقایسه شود

قیمت قبلی: 3,280,000 ریال

قیمت: 2,880,000 ریال

Product details

Publisher ‏ : ‎ Dover Publications (December 1, 1985)
Language ‏ : ‎ English
Paperback ‏ : ‎ 248 pages
ISBN-10 ‏ : ‎ 0486614719
ISBN-13 ‏ : ‎ 978-0486614717

Available at a lower price from other sellers that may not offer free Prime shipping.

In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
In Part One (Chapters 1–5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader.
Part Two (Chapters 6–8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems.
When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format.
For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, "Hilbert's Tenth Problem Is Unsolvable," an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an "unusually clear and stimulating exposition" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback.

منابع کتاب کتاب Computability and Unsolvability

در دسترس قیمت پایین تر از سایر فروشندگان است که ممکن است نخستین حمل و نقل رایگان را ارائه ندهند.

در این متن کلاسیک، دکتر دیویس مقدمه ای روشن برای محاسبه پذیری، در سطح کارشناسی پیشرفته ارائه می دهد که به نیازهای متخصصان و غیر متخصصان خدمت می کند.

پروفسور دیویس در بخش اول (فصل 1-5)، نظریه کلی محاسبه پذیری را مطرح می کند، بحث در مورد چنین موضوعاتی به عنوان توابع قابل محاسبه، عملیات بر روی توابع قابل محاسبه، توابع بازگشتی، ماشین های تورینگ، خودکامگی و مشکلات تصمیم گیری غیرقابل حل است. نویسنده مراقب باشید، به خصوص در هفت فصل اول، برای انجام هیچ آموزش ویژه ریاضی در بخشی از خواننده.

قسمت دوم (فصل های 6-8) شامل درمان مختصر از کاربردهای نظریه عمومی، ترکیب مواد در مورد مشکلات ترکیبی، معادلات دیوفانتین (از جمله مشکل دهم هیلبرت) و منطق ریاضی است. سه فصل نهایی (قسمت 3) توسعه بیشتر نظریه عمومی را شامل می شود، که شامل سلسله مراتب Kleene، کارکرد های محاسبه شده و طبقه بندی مشکلات تصمیم گیری غیرقابل حل است.

هنگامی که اولین بار در سال 1958 منتشر شد، این کار اصطلاحات زیادی را معرفی کرد که از آن زمان به عنوان استاندارد در علوم رایانه تئوری تبدیل شده است. در واقع، قد کل کتاب این است که بسیاری از دانشمندان کامپیوتر آن را به عنوان مقدمه نظری خود در مورد موضوع مورد توجه قرار می دهند. این نسخه جدید Dover باعث می شود این پیشگام، متن به طور گسترده ای تحسین شده در فرمت ارزان قیمت.

دکتر دیویس، برای نسخه دوور، مقدمه جدیدی را ارائه کرده است، "مشکل دهم هیلبرت غیرقابل حل است"، یک مقاله مهم او در ماهانه ریاضی آمریکا در سال 1973 منتشر شد که جوایز جامعه ریاضی آمریکا و انجمن ریاضی را اعطا کرد از امریکا. این افزودنی ها بیشتر ارزش و سودمندی یک نمایش "غیر معمول روشن و تحریک کننده" را افزایش می دهند (مرکز ملی De La Rechherche Scientifique، Paris) در حال حاضر برای اولین بار در کاغذ براق در دسترس هستند.