کتاب الکترونیکی

تئوری محاسبات

Theory of Computation

دانلود کتاب Theory of Computation (به فارسی: تئوری محاسبات) نوشته شده توسط «Dexter C. Kozen»

اطلاعات کتاب تئوری محاسبات

موضوع اصلی: ریاضیات محاسباتی

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Dexter C. Kozen

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2006

تعداد صفحه: 422

حجم کتاب: 3 مگابایت

کد کتاب: 1846282977 , 9781846282973

توضیحات کتاب تئوری محاسبات

در سال 1991 کلاسی را در کرنل گذراندم به نام CS681 The Design and Analysis of Algorithms ([Koz92]). در آن زمان، پروفسور کوزن نسخه خطی خود را برای کتابی به همین نام بر اساس کلاس نهایی کرده بود. من می خواستم این کلاس را با دنباله آن، CS682 Theory of Computation دنبال کنم، اما در عوض بیرون رفتم و حرفه ای را در زمینه مهندسی نرم افزار شروع کردم. اکنون که به تحصیلات تکمیلی بازگشته ام (در یک موسسه دیگر)، وقتی فهمیدم که سخنرانی های CS682 در کتاب تئوری محاسبات نوشته دکستر کوزن ([Koz06]) موجود است، خوشحال شدم. اگرچه کلاسی که کتاب بر اساس آن استوار است CS681 را به عنوان پیش نیاز دارد، من می گویم اشتباه است اگر بگوییم برای درک [Koz06] باید [Koz92] را بخوانید. من فقط در نیمه راه [Koz06] رسیده ام، اما به نظر من تنها پیش نیازهای لازم برای این کتاب یک کلاس معمولی در سطح فارغ التحصیل در الگوریتم ها (مانند CS482 در کرنل یا CS600 در استیونز)، یک کلاس در مورد اتوماتا و مقداری نوردهی است. به سلسله مراتب NP و کاهش. مورد دوم در CS681 در کرنل پوشش داده شده است، اما می توان در طیف گسترده ای از انجمن های دیگر از جمله پیچیدگی الگوریتمی CS601 در استیونز یاد گرفت. تمام مطالب مورد نیاز برای درک این کتاب را می توان در امتحانات یا دوره های مقدماتی برای اکثر برنامه های علوم کامپیوتر پیدا کرد. اگرچه من فقط سخنرانی 20 (از 41) را خوانده ام، اما کاربردهای فوری مطالب این کتاب را در تحقیقاتم پیدا کرده ام. . در واقع، دیشب پس از خواندن سخنرانی 18، توانستم پاورقی را به یک مجله ارسالی اضافه کنم که خواننده را به این سخنرانی برای الگوریتم تقریبی 7/8 و اثبات اینکه MaxSAT به صورت چند جمله ای قابل حل است اگر P=NP باشد، اضافه کنم. اینها هر دو نتایجی هستند که مقاله من از مقالات تحقیقاتی جداگانه استناد می کند و باعث خوشحالی من شد که اکنون توانستم خواننده را به متنی برای مطالعه بیشتر راهنمایی کنم. من همچنین در مورد بسیاری از کلاس های پیچیدگی عجیب و غریب و مشکلات در این کتاب آموخته ام که در چند سال گذشته با برخی از آنها در سمینارهای سطح تحقیقاتی مواجه شده بودم. داشتن یک متن واحد که بتوانم آن را بخوانم تا در مورد همه این نتایج بیاموزم یک موهبت الهی است. من این کتاب را اکیداً به هر کسی که به دنبال مطالعه یا تحقیق در علوم کامپیوتر در سطح دکترا است، توصیه می‌کنم، به خصوص اگر به نظریه، پیچیدگی علاقه دارند. یا رمزنگاری این کتاب قبلاً برای من بسیار مفید بوده است. دوست دارم روزی کلاسی بر اساس این کتاب تدریس کنم.

In 1991 I took a class at Cornell called CS681 The Design and Analysis of Algorithms ([Koz92]). At that time, Professor Kozen had finalized his manuscript for a book by the same name based on the class. I wanted to follow this class up with its sequel, CS682 Theory of Computation, but instead I went out and started a career in software engineering. Now that I am back in graduate school (at a different institution), I was pleased when i learned that the lectures for CS682 were available in the book Theory of Computation by Dexter Kozen ([Koz06]). Although the class which the book is based on has CS681 as a prerequisite, I would say that it would be a mistake to say that one needs to read [Koz92] in order to understand [Koz06]. I am only halfway through [Koz06], but it seems to me that the only prereqs required for this book are an ordinary graduate-level class in algorithms (such as CS482 at Cornell or CS600 at Stevens), a class on automata and some exposure to the NP-hierarchy and reductions. The latter is covered in CS681 at Cornell but can be learned in a wide variety of other forums including CS601 Algorithmic Complexity at Stevens. All the material required to understand this book can be found in the qualifying exams or courses for most computer science programs.Although I have only read through lecture 20 (of 41), I have found immediate applications of the material in this book to my research. In fact, last night after reading lecture 18 I was able to add a footnote to a journal submission directing the reader to this lecture for a 7/8-approximation algorithm and a proof that MaxSAT is polynomially solvable iff P=NP. These are both results that my paper cites from separate research papers and it pleased me that I was now able to point the reader to a text for further study. I also have learned about many exotic complexity classes and problems in this book, some of which I had encountered in research-level seminars in the past few years. Having a single text that I can read to learn about all of these results is a godsend.I strongly recommend this book to anyone who is pursuing study or research in computer science at the doctoral level, particularly if they have an interest in theory, complexity or cryptography. This book has already been enormously useful to me. I would like to teach a class someday based on this book.

دانلود کتاب «تئوری محاسبات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان