سبدخرید
0

سبد خرید شما

0 محصول
منوی دسترسی
دسته‌بندی کتاب‌ها

کتاب منطق برای ریاضیدانان

ناموجود
ناموجود
.
معرفی

کتاب منطق برای ریاضیدانان نوشته همیلتون با ترجمه محمدعلی پورعبدالله نژاد, توسط انتشارات دانشگاه امام رضا با موضوع ریاضی و آمار, حساب غیر صوری گزارها, محاسبه پذیری به چاپ رسیده است.

معرفی مباحث کتاب منطق برای ریاضیدانان

  1.  حساب غیر صوری گزارها
  2.  حساب صوری گزارها
  3.  حساب غیر صوری محصولات
  4.  حساب  صوری محصولات
  5. دستگاه های ریاضی
  6. قضیه نا تمامیت گدل
  7. محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری
مشخصات
  • ناشر
    دانشگاه امام رضا
  • نویسنده
    همیلتون
  • مترجم
    محمدعلی پور عبدالله
  • قطع کتاب
    وزیری
  • نوع جلد
    شومیز
  • سال چاپ
    1395
  • نوبت چاپ
    چهارم
  • تعداد صفحات
    282
ثبت نظر
هیچ دیدگاهی برای این محصول ثبت نشده است!