منطق ریاضی
کد شناسه :217117
-
ناشر :
-
شابک :9789643636944
-
کد کتاب :217117
-
مولف :
-
نوبت چاپ :7
-
سال چاپ :1400
-
قطع :رقعی
-
نوع جلد :شومیز
-
تعداد کل صفحات :288
-
وزن :326
-
قيمت :2,750,000 ریال 2,200,000 ریال
کتاب منطق ریاضی/ معرفی الگوریتم ساخت تابلو برای منطق رتبه اول، مانند منطق گزاره ها، در دو مرحله انجام می شود. ابتدا قواعد برای سوری های عمومی و وجودی ارائه شده و درستی روش تابلو اثبات می شود، سپس ساخت روش مند تابلو ارائه می شود و از آن برای اثبات تمامیت استفاده می شود.
محصولات مرتبط
گریه های امپراتور
1,450,000 ریال
1,160,000 ریال
تمدن و ملالت های آن
1,500,000 ریال
1,200,000 ریال
مجموعه نامرئی 45 داستان کوتاه از26 نویسنده آلمانی
4,200,000 ریال
3,360,000 ریال
زشتی و زیبایی
50,000 ریال
40,000 ریال
مجوس شمال(یوهان گئورگ هامان وخاستگاه های عقل ناباوری جدید)
900,000 ریال
720,000 ریال
ریشه های رومانتیسم
3,000,000 ریال
2,400,000 ریال
اختناق ایران
4,300,000 ریال
3,440,000 ریال
اشتیلر
3,650,000 ریال
2,920,000 ریال
0 نظر