مشخصات کتاب

Computability and Complexity Theory

ویرایش: 2nd 
نویسندگان: Steven Homer. Alan L. Selman  
سری:  
ISBN (شابک) : 9781461406822 
ناشر: Springer 
سال نشر: 2011 
تعداد صفحات: 301 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

در صورت تبدیل فایل کتاب Computability and Complexity Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه محاسبه پذیری و پیچیدگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه محاسبه پذیری و پیچیدگی

این ویرایش اصلاح‌شده و گسترده‌شده از Computability and Complexity Theory شامل مواد ضروری است که دانش اصلی در نظریه محاسبات هستند. این کتاب مستقل است، با یک فصل مقدماتی که مفاهیم کلیدی و نمادهای ریاضی را توضیح می دهد. فصل‌های بعدی از جنبه‌های کیفی نظریه محاسبه‌پذیری کلاسیک به جنبه‌های کمی نظریه پیچیدگی حرکت می‌کنند. فصل‌های اختصاصی در مورد تصمیم‌ناپذیری، کامل بودن NP و محاسبه‌پذیری نسبی بر محدودیت‌های محاسبه‌پذیری و تمایز بین امکان‌پذیر و غیرقابل حل تمرکز دارند. محتوای جدید قابل توجه در این نسخه شامل: فصلی در مورد عدم یکنواختی مطالعه مدارهای بولی، کلاس های مشاوره و نتیجه مهم Karp-Lipton است. فصلی به مطالعه خواص کلاس‌های پیچیدگی احتمالی اساسی، مطالعه ماشین تورینگ متناوب و کلاس‌های مدار یکنواخت. مقدمه ای از کلاس های شمارش، اثبات نتایج معروف Valiant و وزیرانی و از Toda یک بررسی کامل از اثبات یکسان بودن IP با PSPACE با در دسترس بودن و سازماندهی خوب، این متن/مرجع منبع و راهنمای عالی برای کسانی است. به دنبال ایجاد یک پایه محکم در تئوری محاسبات است. فارغ التحصیلان مبتدی، کارشناسی ارشد، و متخصصان درگیر در علوم کامپیوتر نظری، نظریه پیچیدگی و محاسبات، این کتاب را یک ابزار یادگیری ضروری و کاربردی خواهند یافت. موضوعات و ویژگی‌ها: مطالب مختصر و متمرکز بنیادی‌ترین مفاهیم و نتایج را در زمینه نظریه پیچیدگی مدرن پوشش می‌دهند، از جمله نظریه NP-کاملیت، NP-سختی، سلسله مراتب چند جمله‌ای و مسائل کامل برای سایر کلاس‌های پیچیدگی حاوی اطلاعاتی است که در غیر این صورت فقط در ادبیات تحقیق وجود دارد و آن را به صورت یکپارچه و ساده ارائه می‌کند. اطلاعات پایه ریاضی کلیدی، از جمله بخش‌های منطق و نظریه اعداد و جبر را ارائه می‌کند که توسط تمرین‌های متعدد و مسائل تکمیلی برای اهداف تقویتی و خودآموزی پشتیبانی می‌شود.

توضیحاتی درمورد کتاب به خارجی

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters move from the qualitative aspects of classical computability theory to the quantitative aspects of complexity theory. Dedicated chapters on undecidability, NP-completeness, and relative computability focus on the limitations of computability and the distinctions between feasible and intractable. Substantial new content in this edition includes: a chapter on nonuniformity studying Boolean circuits, advice classes and the important result of Karp─Lipton. a chapter studying properties of the fundamental probabilistic complexity classes a study of the alternating Turing machine and uniform circuit classes. an introduction of counting classes, proving the famous results of Valiant and Vazirani and of Toda a thorough treatment of the proof that IP is identical to PSPACE With its accessibility and well-devised organization, this text/reference is an excellent resource and guide for those looking to develop a solid grounding in the theory of computing. Beginning graduates, advanced undergraduates, and professionals involved in theoretical computer science, complexity theory, and computability will find the book an essential and practical learning tool. Topics and features: Concise, focused materials cover the most fundamental concepts and results in the field of modern complexity theory, including the theory of NP-completeness, NP-hardness, the polynomial hierarchy, and complete problems for other complexity classes Contains information that otherwise exists only in research literature and presents it in a unified, simplified manner Provides key mathematical background information, including sections on logic and number theory and algebra Supported by numerous exercises and supplementary problems for reinforcement and self-study purposes

فهرست مطالب

Front Matter....Pages i-xvi
Preliminaries....Pages 1-21
Introduction to Computability....Pages 23-40
Undecidability....Pages 41-73
Introduction to Complexity Theory....Pages 75-80
Basic Results of Complexity Theory....Pages 81-122
Nondeterminism and NP-Completeness....Pages 123-144
Relative Computability....Pages 145-179
Nonuniform Complexity....Pages 181-199
Parallelism....Pages 201-223
Probabilistic Complexity Classes....Pages 225-246
Introduction to Counting Classes....Pages 247-260
Interactive Proof Systems....Pages 261-282
Back Matter....Pages 283-298

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Le Cadeau de César

دانلود کتاب Current Problems in Experimental and Computational Engineering: Proceedings of the International Conference of Experimental and Numerical ... 2021 (Lecture Notes in Networks and Systems)

دانلود کتاب Der Rebell von Antares. 24. Roman der Saga von Dray Prescot

دانلود کتاب University Initiatives in Climate Change Mitigation and Adaptation

دانلود کتاب to Charleston [2015]: including Mt. Pleasant, Summerville, Kiawah, and other islands