نقد و بررسی
منطق برای ریاضیدانان آ. گ. همیلتن انتشارات دانشگاه بین المللی امام رضامشخصات
ناشر
دانشگاه امام رضا
نویسنده
همیلتون
مترجم
محمدعلی پور عبدالله
قطع کتاب
وزیری
نوع جلد
شومیز
سال چاپ
1395
نوبت چاپ
چهارم
تعداد صفحات
282
کتاب منطق برای ریاضیدانان نوشته همیلتون با ترجمه محمدعلی پورعبدالله نژاد, توسط انتشارات دانشگاه امام رضا به چاپ رسیده است.
موضوع کتاب: ریاضی و آمار, حساب غیر صوری گزارها, محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری
معرفی مباحث کتاب منطق برای ریاضیدانان
- حساب غیر صوری گزارها
- حساب صوری گزارها
- حساب غیر صوری محصولات
- حساب صوری محصولات
- دستگاه های ریاضی
- قضیه نا تمامیت گدل
- محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری
0دیدگاه