دانلود کتاب Recursive functionals
49,000 تومان
توابع بازگشتی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | North-Holland |
| تعداد صفحه | 290 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0444894470,9780444894472,9780080887173 |
| نویسنده | L.E. Sanchis |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1992 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
توابع بازگشتی
این کار یک توضیح ابتدایی مستقل از نظریه توابع بازگشتی است که شامل تعدادی نتایج پیشرفته نیز می شود. اگرچه هدف اساساً نظریه ای با قابلیت محاسبه مرتبه بالاتر است، اما توجه به توابع مرتبه دوم محدود می شود، جایی که آرگومان ها توابع عددی هستند و مقادیر، زمانی که تعریف می شوند، اعداد طبیعی هستند. این نظریه تا حدودی خاص است، زیرا تا حدودی می توان آن را به نظریه مرتبه اول تقلیل داد، اما زمانی که به درستی بسط و نسبی شود، به ماشین کامل محاسبات مرتبه بالاتر نیاز دارد. در تئوری توابع یکنواخت بازگشتی، نویسنده یک مفهوم معقول از محاسبات را فرموله می کند که چارچوب مناسبی را برای آنچه به نظر می رسد شکل قانع کننده ای از تز کلیسا است، ارائه می دهد. در عین حال، این تئوری فضای کافی برای فرموله کردن نتایج کلاسیکی را که معمولاً بر حسب عملکردهای منفرد به دست میآیند، فراهم میکند. اثباتهای کاملی از قضیه انتخابگر گاندی، قضیه کلین درباره محمولهای فراحسابی، و قضیه گریلیوت در مورد تابعهای ناپیوسته مؤثر ارائه شدهاند.
Recursive functionals
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.