کتاب Computability and Unsolvability اثر Martin Davis انتشارات Dover Publications
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
متفرقهویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
- گروه سنی : بزرگسال
مشخصات محصول
کتاب "قابلیت محاسبه و عدم قابلیت حل" (Computability and Unsolvability) نوشته مارتین دیویس در سال 1958 منتشر شد. این کتاب به بررسی مفاهیم پایهای نظریه محاسبات و مسائل حلناپذیر در علوم کامپیوتر میپردازد. دیویس در این کتاب ماشین تورینگ را معرفی کرده و با استفاده از آن به بررسی مسئله تصمیمپذیری و توابع محاسبه پذیر و غیرقابل محاسبه میپردازد. وی همچنین مفهوم برنامهنویسی موثر و غیرقابلیت حل مسئله توقف را تشریح میکند. این کتاب برای دانشجویان علوم کامپیوتر بسیار مفید است.
نویسنده
Martin Davis
ناشر
Dover Publications
شابک
9780486614717
موضوع
نظریه محاسبات، ماشین تورینگ، غیرقابلیت حل
قطع
رقعی
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
248
گروه سنی
بزرگسال
وزن
248 گرم
