دانلود کتاب Methods of Cut-Elimination
36,000 تومان
روش های برش حذف
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Netherlands |
| تعداد صفحه | 290 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9400703198,9789400703193 |
| نوبت چاپ | 1 |
| نویسنده | , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2011 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روش های برش حذف
این کتاب در مورد روش‌های حذف برش شامل تجزیه و تحلیل کامل و دقیق روش‌های حذف برش تقلیلی و ارائه‌ای عمیق از روش اخیر CERES است که توسط نویسندگان توسعه یافته است. این شامل تجزیه و تحلیل دقیق پیچیدگی و مقایسه CERES و روش های تقلیل است. این برنامه چندین کاربرد CERES را ارائه می دهد – برای درون یابی، حذف سریع، تعمیم اثبات ها و تجزیه و تحلیل برهان های ریاضی. در نهایت، توسعه ای از CERES را به منطق های غیر کلاسیک، به ویژه به منطق های با ارزش محدود و منطق گودل ارائه می دهد.
This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.