نرم افزار: سیستم ها: محاسبات علمی

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

Computability: computable functions, logic, foundations of mathematics

دانلود کتاب Computability: computable functions, logic, foundations of mathematics (به فارسی: محاسبه پذیری: توابع قابل محاسبه، منطق، مبانی ریاضیات) نوشته شده توسط «Richard L. Epstein – Walter A Carnielli»

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

موضوع اصلی: ریاضیات

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

ناشر: Advanced Reasoning Forum

نویسنده: Richard L. Epstein – Walter A Carnielli

زبان: English

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

سال انتشار: 2008

تعداد صفحه: 377

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

کد کتاب: 9780981550725 , 9780981550732 , 098155072X , 0981550738

نوبت چاپ: 3ed.

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

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

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”.

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

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