ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition

دانلود کتاب قابلیت محاسبه: توابع قابل محاسبه ، منطق و مبانی ریاضیات ، چاپ سوم

Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition

مشخصات کتاب

Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition

ویرایش: 3rd Edition 
نویسندگان: ,   
سری:  
ISBN (شابک) : 098155072X, 9780981550725 
ناشر: Advanced Reasoning Forum, Socorro, New Mexico, USA 
سال نشر: 2008 
تعداد صفحات: 378 
زبان: English  
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب قابلیت محاسبه: توابع قابل محاسبه ، منطق و مبانی ریاضیات ، چاپ سوم

اکنون در یک نسخه جدید!--ارائه کلاسیک تئوری توابع قابل محاسبه در زمینه مبانی ریاضیات. بخش اول انگیزه مطالعه محاسبات پذیری را با بحث و خواندن درباره بحران در مبانی ریاضیات در اوایل قرن بیستم فراهم می کند، در حالی که ایده های اساسی اعداد کامل، تابع، اثبات و اعداد حقیقی را ارائه می دهد. بخش دوم با خواندن تورینگ و پست شروع می شود که منجر به تئوری رسمی توابع بازگشتی می شود. بخش سوم منطق رسمی کافی برای ارائه یک توسعه کامل از قضایای ناقص بودن G?del ارائه می کند. بخش چهارم اهمیت کار فنی را با بحث در مورد تز چرچ و خوانش‌های مبانی ریاضیات در نظر می‌گیرد. این نسخه جدید شامل جدول زمانی \"محاسبه پذیری و غیرقابل تصمیم گیری\" و همچنین مقاله \"درباره ریاضیات\" است.


توضیحاتی درمورد کتاب به خارجی

Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of G?del's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".



فهرست مطالب

Title......Page 2
Contents......Page 4
Preface......Page 10
01 Paradoxes......Page 16
02 What do the Paradoxes Mean......Page 20
03 Whole Numbers......Page 31
04 Functions......Page 34
05 Proofs......Page 41
06 Infinite Collections?......Page 51
07 Hilbert "On the Infinite"......Page 57
08 Computability......Page 76
09 Turing Machines......Page 85
10 The Most Amazing Fact And Church's Thesis......Page 98
11 Primitive Recursive Functions......Page 104
12 The Grzegorczyk Hierarchy......Page 120
13 Multiple Recursion......Page 130
14 The Least Search Operator ......Page 135
15 Partial Recursive Functions......Page 137
16 Numbering the Partial Recursive Functions......Page 141
17 Listability......Page 152
18 Turing Machine Computable = Partial Recursive......Page 157
19 Propositional Logic......Page 164
20 An Overview of First-Order Logic and Goedel's Theorems......Page 180
21 First-Order Arithmetic......Page 185
22 Functions Representable in Formal Arithmetic......Page 200
23 The Undecidability of Arithmetic......Page 213
24 The Unprovability of Consistency......Page 221
25 Church's Thesis......Page 232
26 Constructivist Views of Mathematics......Page 248
27 Mathematics as Modeling......Page 282
Computability and Undecidability - A Timeline......Page 313
Bibliography......Page 341
Glossary and Index of Notation......Page 359
Index......Page 361




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