کتاب Logical Foundations of Mathematics and Computational Complexity اثر Pavel Pudlak انتشارات Springer
553,200تومان
معرفی اجمالی
کتاب مبانی منطقی ریاضیات و پیچیدگی محاسباتی اثر پاول پودلاک
کتاب "مبانی منطقی ریاضیات و پیچیدگی محاسباتی: مقدمهای آرام" اثر پاول پودلاک به بررسی ارتباطات بین منطق ریاضی و پیچیدگی محاسباتی میپردازد.
معرفی کتاب مبانی منطقی ریاضیات و پیچیدگی محاسباتی
این اثر در سال ۲۰۱۳ منتشر شده و به عنوان یک منبع ارزشمند برای دانشجویان و محققان در زمینههای منطق و نظریه محاسبات شناخته میشود. پاول پودلاک، نویسنده این کتاب، استاد ریاضیات در دانشگاه چارلز پراگ است و در این کتاب به سادگی مطالب پیچیده را توضیح میدهد.
محتوای کتاب مبانی منطقی ریاضیات و پیچیدگی محاسباتی
کتاب به بررسی موضوعات زیر میپردازد:
- نظریههای اثباتپذیری
- الگوریتمها
- پیچیدگی zp
- ارتباط منطقی آنها با نظریه محاسبات
دلیل انتخاب کتاب مبانی منطقی ریاضیات و پیچیدگی محاسباتی
این کتاب با زبانی ساده و جامع نوشته شده است و مناسب برای افرادی است که به مطالعه عمیق در زمینههای منطق و استخراج اصول ریاضی علاقه دارند. با توجه به روش تدریسی نویسنده، خوانندگان میتوانند به راحتی مفاهیم پیچیده را درک کنند.
مشخصات
نویسنده: | Pavel Pudlák |
---|---|
ناشر: | Springer |
شابک: | 9783319001180 |
موضوع: | مبانی منطقی، پیچیدگی محاسباتی، ریاضیات |
قطع: | رقعی |
نوع جلد: | شومیز |
نوع کاغذ: | تحریر |
تعداد صفحه: | 709 |
گروه سنی: | بزرگسال |
وزن: | 709 گرم |
فروشندگان
دیجیکالا
خرید از دیجیکالا553,200
محصولات مشابه
مشاهده همه محصولات مشابه