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

مقدمه ای بر تئوری محاسبات

Introduction to the Theory of Computation

دانلود کتاب Introduction to the Theory of Computation (به فارسی: مقدمه ای بر تئوری محاسبات) نوشته شده توسط «Michael Sipser»

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

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

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

ناشر: PWS Pub. Co.

نویسنده: Michael Sipser

زبان: English

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

سال انتشار: 1996

تعداد صفحه: 410

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

کد کتاب: 9780534947286 , 053494728X

نوبت چاپ: 1

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

چیز زیادی برای گفتن در مورد این کتاب درسی دیدنی وجود ندارد که قبلاً توسط بسیاری از منتقدان دیگر گفته نشده است. این ارائه شگفت انگیز از ایده های کلیدی در پیچیدگی است، که حفره بزرگی را در ادبیات ایجاد می کند. ارائه به دلیل وضوح آن قابل توجه است. در توضیح، نویسنده یک ایده مهم را انتخاب می کند و با دقت اما به وضوح آن ایده واحد را توسعه می دهد. در مقابل، برخی دیگر از نویسندگان کتاب‌های درسی (که بی‌نام خواهند ماند) تمایل دارند تا آن‌قدر از همان ایده ارائه کنند که خواننده در گیر افتاده و عناصر کلیدی را از دست بدهد. شاید از قضا، مایکل سیپسر به‌خاطر شیطانی شناخته شده باشد. اثبات های پیچیده در نظریه پیچیدگی (مثلاً Go PSPACE سخت است). با وجود آن، کتاب الگویی از وضوح است. جای تعجب نیست که کتاب واقعاً در ارائه کامل خود می درخشد، جایی که NP-completeness، PSPACE کامل بودن، و معادل IP و PSPACE با قدرت و اشتیاق زیادی نشان داده شده است. شاید تنها احتیاط من این باشد که کتاب در سلسله مراتب بازگشتی کمی سبک است، اما به اندازه کافی برای دانش‌آموز کنجکاو وجود دارد. همچنین، اجازه دهید با آن روبرو شویم، امروزه احتمالاً رسم این است که تصاویر و رنگ‌های بیشتری داشته باشیم – ممکن است معلمی بخواهد برخی از شواهد را با نسخه‌های نمایشی تکمیل کند، یا دانش‌آموز مبتکر ناآشنا با این منطقه خودش می‌تواند این کار را انجام دهد. در نهایت، کتاب دارای برخی از موارد است. موضوعات ویژه فوق العاده ای که آن را به یک ضرورت تبدیل می کند و اکثر کتاب های تئوری قدیمی محاسبات را کاملاً منسوخ می کند. مقدمه های خوبی برای اثبات های تعاملی، محاسبات احتمالی، محاسبات موازی و نظریه اطلاعات وجود دارد. و نکات ظریف در سراسر، مانند اثبات اینکه P=NP مستقل از نسبی سازی نیست. در مجموع، این یکی از آن کتاب های بسیار کمیاب است که توسط یک متخصص و نظریه پرداز برتر از یک طرف نوشته شده است، اما در عین حال واضح و با انگیزه برای خواننده. نتیجه گیری: ارائه: فوق العاده است. انتخاب موضوعات: عالی سبک نوشتاری: عالی وضوح: عالی متن فوق العاده ای است

There is not too much to say about this spectacular textbook that has not been said already by many of the other reviewers. This is a wonderful presentation of key ideas in complexity, on that fulfills a big hole in the literature.The presentation is notable for its clarity. In exposition, the author chooses one important idea and carefully but clearly develops that single idea. By contrast, certain other textbook authors (who shall remain nameless) tend to try and present so many variants of the same idea that the reader gets bogged down and loses sight of the key elements.Michael Sipser, perhaps ironically, is known for some fiendishly complex proofs in complexity theory (e.g. Go is PSPACE hard). Despite that, the book is a model of clarity. Not surprisingly, the book really shines in its completeness presentation, where NP-completeness, PSPACE completeness, and the equivalence of IP and PSPACE are shown with great power and verve. Perhaps my only reservation is that the book is a bit light on the recursive hierarchy, but there’s enough for the curious student. Also, lets face it, nowadays the custom is probably to have more pictures and color – a teacher might want to supplement some of the proofs with demos, or the enterprising student unfamiliar with the area could do so himself.Finally, the book has some superb special topics that make it a necessity and make most of the older theory of computation books entirely obsolete. There are great introductions to Interactive Proofs, Probabilistic Computing, Parallel Computing, and Information Theory. And nice nuances throughout, like the proof that P=NP is not relativization-independent.All in all, this is one of those very rare books that are written by a top practitioner and theorist on the one hand, yet at the same time are clear and well-motivated for the reader.Conclusion: presentation: terrific. Choice of topics: terrific. Writing style: terrific. Clarity: terrific. It’s a great text.

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

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