انتشارات ماهریس.منطق ریاضی

منطق ریاضی

کد شناسه :217117

ناشر :

هرمس
شابک :

9789643636944
کد کتاب :

217117
مولف :

محمد اردشیر
نوبت چاپ :

7
سال چاپ :

1400
قطع :

رقعی
نوع جلد :

شومیز
تعداد کل صفحات :

288
وزن :

326
قيمت :

2,750,000 ریال

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