دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automata and Computability
دانلود کتاب اتومات و قابلیت محاسبه
مشخصات کتاب
Automata and Computability
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: نویسندگان: Dexter C. Kozen سری: Undergraduate Texts in Computer Science ISBN (شابک) : 0387949070, 9780387949079 ناشر: Springer سال نشر: 1997 تعداد صفحات: 414 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب اتومات و قابلیت محاسبه: مهندسی انفورماتیک و کامپیوتر، تئوری خودکار
در صورت تبدیل فایل کتاب Automata and Computability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اتومات و قابلیت محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اتومات و قابلیت محاسبه
این کتاب درسی مقدمه‌ای با مدل‌های نظری پایه محاسباتی را برای دانشجویان مقطع کارشناسی فراهم می‌کند و برخی از ساختارهای غنی و متنوع مدل را توسعه می‌دهد. بخش اول کتاب به اتوماتای محدود و خواص آنها اختصاص دارد. خودکارهای Pushdown کلاس وسیع تری از مدل ها را ارائه می دهند و امکان تجزیه و تحلیل زبان های بدون زمینه را فراهم می کنند. در فصل‌های باقی‌مانده، ماشین‌های تورینگ معرفی می‌شوند و کتاب به تجزیه و تحلیل محاسبات‌پذیری مؤثر، تصمیم‌پذیری، و قضایای ناقص بودن گودل ختم می‌شود. دانش‌آموزانی که قبلاً تجربه‌ای با ریاضیات گسسته ابتدایی دارند، این دوره اول را با سرعت خوب می‌بینند و تعدادی از فصل‌های تکمیلی مفاهیم پیشرفته‌تری را معرفی می‌کنند.
توضیحاتی درمورد کتاب به خارجی
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Gödel's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.
