کتاب Logical Foundations of Mathematics and Computational Complexity اثر Pavel Pudlak انتشارات Springer
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (مبانی منطقی ریاضیات و پیچیدگی محاسباتی: مقدمهای آرام) اثر Pavel Pudlak (پاول پودلاک) کتابی است که در سال 2013 منتشر شده و به بررسی پیوند بین مبانی منطقی ریاضیات و پیچیدگی محاسباتی میپردازد. نویسنده این کتاب، پاول پودلاک، استاد ریاضیات دانشگاه چارلز در پراگ است. این کتاب به مباحثی همچون نظریههای اثباتپذیری، الگوریتمها، پیچیدگی zp و ارتباط آنها با منطق ریاضی میپردازد. کتاب با زبانی ساده برای دانشجویان و محققان حوزهی منطق و نظریهی محاسبات نوشته شده است.
نویسنده
Pavel Pudlák
ناشر
Springer
شابک
9783319001180
موضوع
مبانی منطقی، پیچیدگی محاسباتی، ریاضیات
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
709
گروه سنی
بزرگسال
وزن
709 گرم
