مشخصات کتاب

Complexity and real computation

ویرایش:  
نویسندگان: Lenore Blum,  et al  
سری:  
ISBN (شابک) : 0387982817, 9780387982816 
ناشر: Springer  
سال نشر: 1998 
تعداد صفحات: 474 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 29 مگابایت 

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

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

توضیحاتی در مورد کتاب پیچیدگی و محاسبه واقعی

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

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

The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern scientific computation where most of the algorithms are real number algorithms. The goal of this book is to develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing. Along the way, the authors consider such fundamental problems as: * Is the Mandelbrot set decidable? * For simple quadratic maps, is the Julia set a halting set? * What is the real complexity of Newton's method? * Is there an algorithm for deciding the knapsack problem in a ploynomial number of steps? * Is the Hilbert Nullstellensatz intractable? * Is the problem of locating a real zero of a degree four polynomial intractable? * Is linear programming tractable over the reals? The book is divided into three parts: The first part provides an extensive introduction and then proves the fundamental NP-completeness theorems of Cook-Karp and their extensions to more general number fields as the real and complex numbers. The later parts of the book develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing.

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

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

دانلود کتاب The Autofictional: Approaches, Affordances, Forms

دانلود کتاب High-Performance Big-Data Analytics: Computing Systems and Approaches

دانلود کتاب Nuclear Engineering Fundamentals: A Practical Perspective

دانلود کتاب Polemics, Politics and Problematizations

دانلود کتاب Fitter, Faster, Funnier Football