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

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

موضوع کتاب: ریاضی و آمار, حساب غیر صوری گزارها, محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری

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

  1.  حساب غیر صوری گزارها
  2.  حساب صوری گزارها
  3.  حساب غیر صوری محصولات
  4.  حساب  صوری محصولات
  5. دستگاه های ریاضی
  6. قضیه نا تمامیت گدل
  7. محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری

  • روش های ارسال
  •    پیک تهران
  •    پیک سریع تهران
  •    پست پیشتاز
  •    تیباکس
  •    ویژه
  • موجود در انبار
90,000
٪5
85,500 تومان
توضیحات

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

موضوع کتاب: ریاضی و آمار, حساب غیر صوری گزارها, محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری

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

  1.  حساب غیر صوری گزارها
  2.  حساب صوری گزارها
  3.  حساب غیر صوری محصولات
  4.  حساب  صوری محصولات
  5. دستگاه های ریاضی
  6. قضیه نا تمامیت گدل
  7. محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری

مشخصات
  • ناشر
    دانشگاه امام رضا
  • نویسنده
    همیلتون
  • مترجم
    محمدعلی پور عبدالله
  • قطع کتاب
    وزیری
  • نوع جلد
    شومیز
  • سال چاپ
    1395
  • نوبت چاپ
    چهارم
  • تعداد صفحات
    282
نظرات کاربران
    هیچ دیدگاهی برای این محصول ثبت نشده است!
برگشت به بالا
0216640800© کلیه حقوق این سایت محفوظ و متعلق به فروشگاه آژانس کتاب است.02166408000 طراحی سایت و سئو : توسط نونگار پردازش