ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Classical recursion theory: the theory of functions and sets of natural numbers

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

Classical recursion theory: the theory of functions and sets of natural numbers

مشخصات کتاب

Classical recursion theory: the theory of functions and sets of natural numbers

دسته بندی: نظریه شماره
ویرایش:  
نویسندگان:   
سری: Studies in Logic and the Foundations of Mathematics, Vol. 125 
ISBN (شابک) : 9780444894830, 0444894837 
ناشر: North Holland 
سال نشر: 1999 
تعداد صفحات: 677 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 58,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب Classical recursion theory: the theory of functions and sets of natural numbers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه بازگشتی کلاسیک: نظریه توابع و مجموعه اعداد طبیعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

سال 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 and to computer science, for which Recursion Theory provides the theoretical foundation.



فهرست مطالب

Content: 
Editors
Page ii

Edited By
Page iii

Copyright Page
Page iv

Dedication
Page v

Foreword
Page vii
G.E. Sacks

Preface
Pages ix-x

Preface to the Second Edition
Page xi

Introduction
Pages 1-16

Chapter I Recursiveness and Computability
Pages 17-123

Chapter II Basic Recursion Theory
Pages 125-249

Chapter III Post\'s Problem and Strong Reducibilities
Pages 251-360

Chapter IV Hierarchies and Weak Reducibilities
Pages 361-445

Chapter V Turing Degrees
Pages 447-553

Chapter VI Many-One and Other Degrees
Pages 555-601

Bibliography
Pages 603-641

Notation Index
Pages 643-647

Index
Pages 649-668





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی