کتاب الکترونیکی

الگوریتم های فوق بازگشتی (تک نگاری در علوم کامپیوتر)

Super-Recursive Algorithms (Monographs in Computer Science)

دانلود کتاب Super-Recursive Algorithms (Monographs in Computer Science) (به فارسی: الگوریتم های فوق بازگشتی (تک نگاری در علوم کامپیوتر)) نوشته شده توسط «Mark Burgin»

اطلاعات کتاب الگوریتم های فوق بازگشتی (تک نگاری در علوم کامپیوتر)

موضوع اصلی: الگوریتم ها و ساختارهای داده

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Mark Burgin

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 313

حجم کتاب: 3 مگابایت

کد کتاب: 9780387955698 , 0387955690

نوبت چاپ: 1

توضیحات کتاب الگوریتم های فوق بازگشتی (تک نگاری در علوم کامپیوتر)

دستاورد اصلی تئوری محاسبات، بسط یک مدل ریاضی دقیق از یک الگوریتم است که کمتر از هفتاد سال پیش با معرفی توابع بازگشتی و جزئی، ماشین‌های تورینگ و سیستم‌های پست رسمی انجام شد. تز معروف چرچ تورینگ ادعا می کند که این مدل ها (که الگوریتم های بازگشتی نامیده می شوند) کلی ترین هستند. دلیل این امر این است که همه مدل‌های ریاضی الگوریتم‌هایی که بعداً ظاهر شدند یا معادل یا حتی ضعیف‌تر از ماشین‌های تورینگ (یا به طور معادل، توابع بازگشتی جزئی) بودند. نظریه الگوریتم های فوق بازگشتی این پایان نامه را رد می کند زیرا قدرت محاسباتی الگوریتم های فوق بازگشتی بسیار بیشتر از الگوریتم های معمولی یا بازگشتی است. در نتیجه، کشف الگوریتم‌های فوق بازگشتی، درک جدیدی از برخی نتایج مهم ریاضی از جمله قضیه معروف ناقص بودن گودل فراهم می‌کند. در “الگوریتم های فوق بازگشتی” مبانی نظریه الگوریتم های فوق بازگشتی توضیح داده خواهد شد. نشان داده خواهد شد که در حالی که الگوریتم‌های بازگشتی نمایش نظری صحیحی از رایانه‌ها در آغاز «عصر رایانه» ارائه می‌دهند، الگوریتم‌های فوق بازگشتی به عنوان مدل‌های ریاضی برای رایانه‌های مدرن مناسب‌تر هستند. علاوه بر این، الگوریتم‌های فوق بازگشتی چارچوب نظری بهتری را برای روش‌های محاسباتی در حوزه‌های مختلف فراهم می‌کنند: برای تجزیه و تحلیل عددی، برای جستجو و سایر عملیات با آرایه‌های داده عظیم، برای سیستم‌های کنترل و نظارت و غیره. در سخنرانی، بر اراده تاکید کنید. به برنامه های مرتبط با جستجو در آرایه های داده های عظیم و به ویژه پویا داده می شود.

The main achievement of the theory of computations is the elaboration of an exact mathematical model of an algorithm done less than seventy years ago by introducing recursive and partial recursive functions, Turing machines, and Post formal systems. The famous Church-Turing Thesis claims that these models (called recursive algorithms) are the most general. The reason of this is that all mathematical models of algorithms that appeared later were either equivalent or even weaker than Turing machines (or equivalently, partial recursive functions). Theory of super-recursive algorithms refutes this Thesis because computing power of super-recursive algorithms is much greater than that of the conventional, or recursive, algorithms. Consequently, the discovery of super-recursive algorithms provides for a new understanding of some important mathematical results including the famous Gödel incompleteness theorem. In ‘Super-Recursive Algorithms,’ fundamentals of the theory of super-recursive algorithms will be explained. It will be demonstrated that while recursive algorithms gave a correct theoretical representation of computers at the beginning of the ‘computer era’, super-recursive algorithms are more adequate as mathematical models for modern computers. In addition to this, super-recursive algorithms provide for a better theoretical frame for computing methods in various areas: for numerical analysis, for search and other operations with huge data arrays, for control and monitoring systems, etc. In the lecture, emphasize will be given to applications related to search in huge and, especially, in dynamic data arrays.

دانلود کتاب «الگوریتم های فوق بازگشتی (تک نگاری در علوم کامپیوتر)»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان