دانلود کتاب Theory of Computation

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

Summary by fatemeh.alamdar