دسته بندی ها

منطق ریاضی

کد شناسه :217117
منطق ریاضی
  • ناشر :
  • شابک :
    9789643636944
  • کد کتاب :
    217117
  • مولف :
  • نوبت چاپ :
    7
  • سال چاپ :
    1400
  • قطع :
    رقعی
  • نوع جلد :
    شومیز
  • تعداد کل صفحات :
    288
  • وزن :
    326
  • قيمت :
    1,440,000 ریال 1,080,000 ریال
موجود نیست

کتاب منطق ریاضی/ معرفی الگوریتم ساخت تابلو برای منطق رتبه اول، مانند منطق گزاره ها، در دو مرحله انجام می شود. ابتدا قواعد برای سوری های عمومی و وجودی ارائه شده و درستی روش تابلو اثبات می شود، سپس ساخت روش مند تابلو ارائه می شود و از آن برای اثبات تمامیت استفاده می شود.

بررسی و نظر خود را بنویسید

1 2 3 4 5

 *

 *

0 نظر