توضیحات
The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? How can a proof be found efficiently? How can a proof be used? Logicians from different communities usually provide radically different answers to such questions. Their principles may be folklore within their own communities but are often unknown to outsiders. This book provides a snapshot of the current state of the art in proof search and proof production as implemented in contemporary automated reasoning tools such as SAT-solvers, SMT-solvers, first-order and higher-order automated theorem provers and proof assistants. Furthermore, various trends in proof theory, such as the calculus of inductive constructions, deduction modulo, deep inference, foundational proof certificates and cut-elimination, are surveyed; and applications of formal proofs are illustrated in the areas of cryptography, verification and mathematical proof mining. Experts in these topics were invited to present tutorials about proofs during the Vienna Summer of Logic and the chapters in this book reflect their tutorials. Therefore, each chapter is intended to be accessible not only to experts but also to novice researchers from all fields of Logic.
————————————————————–
ترجمه ماشینی :
توسعه سیستم های اثبات جدید و بهبود یافته، فرمت های اثبات و روش های جستجوی اثبات یکی از ضروری ترین اهداف منطق است. اما دلیل چیست؟ چه چیزی یک اثبات را بهتر از دیگری می کند؟ چگونه می توان یک دلیل را به طور مؤثر پیدا کرد؟ چگونه می توان از اثبات استفاده کرد؟ منطقدانان جوامع مختلف معمولاً پاسخهای کاملاً متفاوتی برای چنین سؤالاتی ارائه میکنند. اصول آنها ممکن است فولکلور در جوامع خود باشد، اما اغلب برای افراد خارجی ناشناخته است. این کتاب تصویری لحظهای از وضعیت فعلی هنر در جستجوی اثبات و تولید اثبات ارائه میدهد که در ابزارهای استدلال خودکار معاصر مانند حلکنندههای SAT، حلکنندههای SMT، اثباتکنندههای قضیه خودکار مرتبه اول و بالاتر و دستیاران اثبات پیادهسازی شدهاند. علاوه بر این، روندهای مختلف در نظریه اثبات، مانند حساب ساختارهای استقرایی، مدول کسر، استنتاج عمیق، گواهیهای اثبات بنیادی و حذف برش بررسی میشوند. و کاربردهای اثبات رسمی در زمینه های رمزنگاری، تأیید و استخراج اثبات ریاضی نشان داده شده است. از متخصصان این موضوعات دعوت شد تا در تابستان منطق وین، آموزش هایی در مورد اثبات ارائه کنند و فصول این کتاب منعکس کننده آموزش های آنهاست. بنابراین، در نظر گرفته شده است که هر فصل نه تنها برای متخصصان، بلکه برای محققان مبتدی از همه رشتههای منطق قابل دسترسی باشد.
tag : دانلود کتاب همه چیز در مورد اثبات، اثبات برای همه , Download همه چیز در مورد اثبات، اثبات برای همه , دانلود همه چیز در مورد اثبات، اثبات برای همه , Download All about Proofs, Proofs for All Book , همه چیز در مورد اثبات، اثبات برای همه دانلود , buy همه چیز در مورد اثبات، اثبات برای همه , خرید کتاب همه چیز در مورد اثبات، اثبات برای همه , دانلود کتاب All about Proofs, Proofs for All , کتاب All about Proofs, Proofs for All , دانلود All about Proofs, Proofs for All , خرید All about Proofs, Proofs for All , خرید کتاب All about Proofs, Proofs for All ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.