بلیان

چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

Computability : Computable Functions, Logic, and the Foundations of Mathematics

Richard L. Epstein, Walter A. Carnielli, Richard .L. Epstein, Walter Alexandr Carnielli

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
Richard L. Epstein, Walter A. Carnielli, Richard .L. Epstein, Walter Alexandr Carnielli
ناشر
Bookwire GmbH : Advanced Reasoning Forum
سال انتشار
۲۰۰۸
فرمت
DJVU
زبان
انگلیسی
تعداد صفحات
۳ صفحه
حجم فایل
۲٫۸ مگابایت
شابک
9780981550725، 9780981550732، 098155072X، 0981550738

دربارهٔ کتاب

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

کتاب‌های مشابه

Computability : Computable Functions, Logic, and the Foundations of Mathematics

Computability : Computable Functions, Logic, and the Foundations of Mathematics

۴۹٬۰۰۰ تومان

Computability : Computable Functions, Logic, and the Foundations of Mathematics

Computability : Computable Functions, Logic, and the Foundations of Mathematics

۴۹٬۰۰۰ تومان

Computability : Computable Functions, Logic, and the Foundations of Mathematics

Computability : Computable Functions, Logic, and the Foundations of Mathematics

۴۹٬۰۰۰ تومان

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

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

۴۹٬۰۰۰ تومان

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

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

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

Recursive Functionals (studies In Logic And The Foundations Of Mathematics)

۴۹٬۰۰۰ تومان

LOGICISM RENEWED : logical foundations for mathematics and computer science

LOGICISM RENEWED : logical foundations for mathematics and computer science

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان