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

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

Recursive functionals

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

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

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

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

ناشر: North-Holland

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

زبان: English

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

سال انتشار: 1992

تعداد صفحه: 290

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

کد کتاب: 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 ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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