دانلود کتاب Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 (به فارسی: نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی، جلد. 1) نوشته شده توسط «Piergiorgio Odifreddi»
اطلاعات کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی، جلد. 1
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Elsevier
نویسنده: Piergiorgio Odifreddi
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 690
حجم کتاب: 6 مگابایت
کد کتاب: 9780444894830 , 0444894837
توضیحات کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی، جلد. 1
سال 1988 اولین صدمین سالگرد تئوری بازگشت است، پس از مقاله 1888 ددکیند در مورد ماهیت اعداد. این کتاب که اکنون در جلد شومیز موجود است، هم مرجعی جامع برای موضوع و هم یک کتاب درسی است که از اصول اولیه شروع می‌شود.
در میان موضوعات تحت پوشش عبارتند از: رویکردهای معادل مختلف برای محاسبه‌پذیری مؤثر و روابط آنها با رایانه‌ها و زبان‌های برنامه‌نویسی. بحث در مورد تز کلیسا; یک راه حل مدرن برای مشکل پست؛ خواص جهانی درجات تورینگ؛ و خصوصیات جبری کامل چند و یک درجه. شامل تعدادی کاربرد برای منطق (به ویژه قضایای گودل) و علوم کامپیوتر است که نظریه بازگشت پایه و اساس نظری را برای آنها فراهم می کند. <br
Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church’s thesis; a modern solution to Post’s problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel’s theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. <br
دانلود کتاب «نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی، جلد. 1»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.