دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Alexander Leitsch. Matthias Baaz سری: Trends in Logic 34 ISBN (شابک) : 9400703198, 9789400703193 ناشر: Springer سال نشر: 2011 تعداد صفحات: 295 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب روشهای حذف برش: منطق و مبانی ریاضی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Methods of Cut-elimination به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای حذف برش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب در مورد روشهای حذف برش شامل تجزیه و تحلیل کامل و دقیق روشهای حذف برش تقلیلی و ارائه عمیق روش اخیر 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.
Front Matter....Pages i-vi
Preface....Pages 1-3
Introduction....Pages 5-8
Preliminaries....Pages 9-37
Complexity of Cut-Elimination....Pages 39-61
Reduction and Elimination....Pages 63-104
Cut-Elimination by Resolution....Pages 105-162
Extensions of CERES....Pages 163-173
Applications of CERES....Pages 175-227
CERES in Nonclassical Logics....Pages 229-269
Related Research....Pages 271-273
Back Matter....Pages 275-287