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

توابع بازگشتی

Recursive functionals

دانلود کتاب Recursive functionals (به فارسی: توابع بازگشتی) نوشته شده توسط «L.E. Sanchis»

اطلاعات کتاب توابع بازگشتی

موضوع اصلی: منطق

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

ناشر: North-Holland

نویسنده: L.E. Sanchis

زبان: English

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

سال انتشار: 1992

تعداد صفحه: 290

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

کد کتاب: 0444894470 , 9780444894472 , 9780080887173

توضیحات کتاب توابع بازگشتی

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

This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical functions and the values, when defined, are natural numbers. This theory is somewhat special, for to some extent it can be reduced to first order theory, but when properly extended and relativized it requires the full machinery of higher order computations. In the theory of recursive monotonic functionals the author formulates a reasonable notion of computation which provides the right frame for what appears to be a convincing form of the extended Church’s thesis. At the same time, the theory provides sufficient room to formulate the classical results that are usually derived in terms of singular functionals. Presented are complete proofs of Gandy’s selector theorem, Kleene’s theorem on hyperarithmetical predicates, and Grilliot’s theorem on effectively discontinuous functionals.

دانلود کتاب «توابع بازگشتی»

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

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

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