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

نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی

Classical Recursion Theory: The Theory Of Functions And Sets Of Natural Numbers

دانلود کتاب Classical Recursion Theory: The Theory Of Functions And Sets Of Natural Numbers (به فارسی: نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی) نوشته شده توسط «P. Odifreddi»


اطلاعات کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی

موضوع اصلی: نظریه اعداد

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

ناشر: North Holland

نویسنده: P. Odifreddi

زبان: English

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

سال انتشار: 1999

تعداد صفحه: 677

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

کد کتاب: 0444894837 , 9780444894830

نوبت چاپ: 1

توضیحات کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی

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


1988 marked the first centenary of Recursion Theory, since Dedekind’s 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.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.

دانلود کتاب «نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی»

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