کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations اثر Eugenio G. Omodeo and Alberto Policriti انتشارات Springer
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
کتاب Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic, 10) اثر Eugenio G. Omodeo و Alberto Policriti، یک کتاب مطالعاتی است که به بحث در مورد تحلیل محاسباتی، منطق حسابی و پایه های ریاضی می پردازد. این کتاب توسط انتشارات Springer در سال 2019 منتشر شده است و به نظر می رسد که این کتاب موفقیت زیادی را به دست آورده است. نویسنده این کتاب، Martin Davis نیز کتابهای موفق دیگری را نیز نوشته است، مانند Computability and Unsolvability (McGraw-Hill, 1958) و Computability, Enumerability, Unsolvability: Directions in Recursion Theory (Academic Press, 1975).
نویسنده
Eugenio G. Omodeo and Alberto Policriti
ناشر
Springer
شابک
9783319824437
موضوع
موضوع این کتاب، محاسبات، منطق حسابی و پایه های ریاضی است.
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
465
گروه سنی
بزرگسال
وزن
465 گرم
