دانلود کتاب Computability: computable functions, logic, foundations of mathematics
49,000 تومان
محاسبه پذیری: توابع قابل محاسبه، منطق، مبانی ریاضیات
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Advanced Reasoning Forum |
| تعداد صفحه | 377 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9780981550725,9780981550732,098155072X,0981550738 |
| نوبت چاپ | 3ed. |
| نویسنده | Richard L. Epstein, Walter A Carnielli |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبه پذیری: توابع قابل محاسبه، منطق، مبانی ریاضیات
اکنون در یک نسخه جدید!–ارائه کلاسیک تئوری توابع قابل محاسبه در زمینه مبانی ریاضیات. بخش اول انگیزه مطالعه محاسبات پذیری را با بحث و خواندن درباره بحران در پایه های ریاضیات در اوایل قرن بیستم فراهم می کند، در حالی که ایده های اساسی اعداد کامل، تابع، اثبات و اعداد حقیقی را ارائه می دهد. بخش دوم با خواندن تورینگ و پست شروع می شود که منجر به تئوری رسمی توابع بازگشتی می شود. بخش سوم منطق رسمی کافی را برای ارائه یک توسعه کامل از قضایای ناتمامی گودل ارائه می کند. بخش چهارم اهمیت کار فنی را با بحث در مورد تز چرچ و خوانشهای مبانی ریاضیات در نظر میگیرد. این نسخه جدید شامل جدول زمانی “محاسبه پذیری و غیرقابل تصمیم گیری” و همچنین مقاله “درباره ریاضیات” است.
Computability: computable functions, logic, foundations of mathematics
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”.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.