دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Classical recursion theory : the theory of functions and sets of natural numbers
دانلود کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی
مشخصات کتاب
Classical recursion theory : the theory of functions and sets of natural numbers
ویرایش:
نویسندگان: Odifreddi. Piergiorgio
سری: Studies in logic and the foundations of mathematics 125
ISBN (شابک) : 9780080886596, 0080886590
ناشر: Elsevier
سال نشر: 1992
تعداد صفحات: 677
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 34 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Classical recursion theory : the theory of functions and sets of natural numbers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه بازگشت کلاسیک: نظریه توابع و مجموعه اعداد طبیعی
سال 1988 اولین صدمین سالگرد تئوری بازگشت است، پس از مقاله
ددکیند در سال 1888 درباره ماهیت اعداد. این کتاب که اکنون در جلد
شومیز موجود است، هم مرجعی جامع برای موضوع و هم یک کتاب درسی است
که از اصول اولیه شروع می شود. از جمله موضوعات تحت پوشش عبارتند
از: رویکردهای معادل مختلف برای محاسبه پذیری مؤثر و روابط آنها
با رایانه ها و زبان های برنامه نویسی. بحثی درباره پایان نامه
کلیسا; یک راه حل
مدرن برای مشکل پست؛ خواص جهانی درجات تورینگ؛ و خصوصیات جبری
کامل چند و یک درجه. شامل تعدادی از کاربردها برای منطق (به ویژه
قضایای گودل) و علوم کامپیوتر است که نظریه بازگشت پایه و اساس
نظری را برای آنها فراهم می کند. بیشتر
بخوانید...<< /span>
چکیده:
چکیده:
شامل تعدادی کاربرد برای منطق (به ویژه قضایای گودل) و علوم
کامپیوتر است که نظریه بازگشت برای آنها مبانی نظری این کتاب یک
مرجع جامع برای
موضوع ارائه می دهد که از اصول اولیه شروع می شود.
بیشتر
بخوانید...
توضیحاتی درمورد کتاب به خارجی
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. Read
more...
Abstract:
Abstract:
Includes a number of applications to logic (in particular
Godel's theorems) and to computer science, for which
Recursion Theory provides the theoretical foundation. This
book presents a comprehensive reference for the subject
starting from first principles. Read more...
فهرست مطالب
Content: Front Cover
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers
Copyright Page
Foreword
Preface
Preface to the Second Edition
Contents
Introduction
Chapter I. Recursiveness and Computability
Chapter II. Basic Recursion Theory
Chapter III. Post's Problem and Strong Reducibilities
Chapter IV. Hierarchies and Weak Reducibilities
Chapter V. Turing Degrees
Chapter VI. Many-One and Other Degrees
Bibliography
Notation Index
Subject Index.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Games, Groups, and the Global Good
دانلود کتاب New Waves in Philosophy of Action
دانلود کتاب Praxis der Zweiortskurvenverfahren. Erweiterung des Nyquist-Kriteriums auf rückwirkungsbehaftete Systeme. Zur Analogie von Kettenverstärkern und rückwirkungsbehafteten Ringverstärkern im Hinblick auf Stabilitätsuntersuchungen
دانلود کتاب Rural Social Work: An International Perspective
