دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automata, Computability and Complexity: Theory and Applications
دانلود کتاب اتوماتا ، محاسبه و پیچیدگی: نظریه و کاربردها
مشخصات کتاب
Automata, Computability and Complexity: Theory and Applications
ویرایش: Hardcover
نویسندگان: Elaine A. Rich
سری:
ISBN (شابک) : 0132288060, 9780132288064
ناشر: Pearson
سال نشر: 2007
تعداد صفحات: 1124
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 110 مگابایت
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Automata, Computability and Complexity: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اتوماتا ، محاسبه و پیچیدگی: نظریه و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اتوماتا ، محاسبه و پیچیدگی: نظریه و کاربردها
زیربنای نظری محاسبات بخش استاندارد تقریباً هر برنامه درسی علوم رایانه را تشکیل می دهد. اما برخورد کلاسیک با این ماده، آن را از روش‌های بی‌شماری که این نظریه بر طراحی سیستم‌های سخت‌افزاری و نرم‌افزاری مدرن تأثیر می‌گذارد، جدا می‌کند. هدف این کتاب تغییر آن است. این کتاب در یک مجموعه اصلی از فصل ها (که مطالب استاندارد پیشنهاد شده توسط عنوان را پوشش می دهد) سازماندهی شده است، به دنبال آن مجموعه ای از فصل های پیوست که زمینه های کاربردی از جمله طراحی زبان برنامه نویسی، کامپایلرها، تأیید نرم افزار، شبکه ها، امنیت، پردازش زبان طبیعی را برجسته می کند. ، هوش مصنوعی، بازی کردن، و زیست شناسی محاسباتی. مواد اصلی شامل بحث ماشین‌های حالت محدود، مدل‌های مارکوف، مدل‌های مارکوف پنهان (HMM)، عبارات منظم، گرامرهای بدون زمینه، خودکارهای فشاری، اشکال عادی چامسکی و گریباخ، تجزیه بدون زمینه، قضایای پمپاژ برای منظم و بدون متن است. زبان‌ها، قضایای بسته و رویه‌های تصمیم‌گیری برای زبان‌های معمولی و بدون بافت، ماشین‌های تورینگ، عدم قطعیت، تصمیم‌پذیری و تصمیم‌ناپذیری، پایان‌نامه چرچ تورینگ، اثبات‌های کاهشی، مسئله پست مکاتبات، مشکلات کاشی‌کاری، غیرقابل تصمیم‌گیری منطق مرتبه اول، تسلط مجانبی ، پیچیدگی زمان و مکان، قضیه کوک-لوین، کامل بودن NP، قضیه ساویچ، قضایای سلسله مراتب زمان و مکان، الگوریتم های تصادفی و جستجوی اکتشافی. در سرتاسر بحث درباره این موضوعات، اشاره‌هایی به فصل‌های کاربردی وجود دارد. بنابراین، برای مثال، فصلی که اثبات‌های کاهش غیرقابل تصمیم‌گیری را توصیف می‌کند، پیوندی به فصل امنیتی دارد، که اثبات کاهشی عدم تصمیم‌گیری ایمنی یک چارچوب حفاظتی ساده را نشان می‌دهد.
توضیحاتی درمورد کتاب به خارجی
The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems. The goal of this book is to change that. The book is organized into a core set of chapters (that cover the standard material suggested by the title), followed by a set of appendix chapters that highlight application areas including programming language design, compilers, software verification, networks, security, natural language processing, artificial intelligence, game playing, and computational biology. The core material includes discussions of finite state machines, Markov models, hidden Markov models (HMMs), regular expressions, context-free grammars, pushdown automata, Chomsky and Greibach normal forms, context-free parsing, pumping theorems for regular and context-free languages, closure theorems and decision procedures for regular and context-free languages, Turing machines, nondeterminism, decidability and undecidability, the Church-Turing thesis, reduction proofs, Post Correspondence problem, tiling problems, the undecidability of first-order logic, asymptotic dominance, time and space complexity, the Cook-Levin theorem, NP-completeness, Savitch's Theorem, time and space hierarchy theorems, randomized algorithms and heuristic search. Throughout the discussion of these topics there are pointers into the application chapters. So, for example, the chapter that describes reduction proofs of undecidability has a link to the security chapter, which shows a reduction proof of the undecidability of the safety of a simple protection framework.
