توضیحات
A textbook that teaches students to read and write proofs using Athena.
Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certain desirable properties. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language. Athena proofs are machine-checkable and written in an intuitive natural-deduction style. The book contains more than 300 exercises, most with full solutions. By putting proofs into practice, it demonstrates the fundamental role of logic and proof in computer science as no other existing text does. Guided by examples and exercises, students are quickly immersed in the most useful high-level proof methods, including equational reasoning, several forms of induction, case analysis, proof by contradiction, and abstraction/specialization. The book includes auxiliary material on SAT and SMT solving, automated theorem proving, and logic programming.
The book can be used by upper undergraduate or graduate computer science students with a basic level of programming and mathematical experience. Professional programmers, practitioners of formal methods, and researchers in logic-related branches of computer science will find it a valuable reference.
————————————————————–
ترجمه ماشینی :
کتاب درسی که خواندن و نوشتن اثبات ها را با استفاده از آتنا به دانش آموزان آموزش می دهد. اثبات وسیله اولیه برای تولید دانش در ریاضیات است. در علم کامپیوتر، اثبات یک کاربرد اضافی پیدا کرده است: تأیید اینکه یک سیستم (یا مؤلفه، یا الگوریتم) خاص ویژگیهای مطلوب خاصی دارد. این کتاب به دانشآموزان میآموزد که چگونه با استفاده از آتنا، یک زبان رایانهای که بهطور رایگان قابل دانلود است، برهان بخوانند و بنویسند. اثباتهای آتنا بهصورت ماشینی قابل بررسی هستند و به سبک شهودی کسر طبیعی نوشته میشوند. این کتاب شامل بیش از 300 تمرین است که اکثر آنها دارای راه حل کامل هستند. با اجرای برهانها، نقش اساسی منطق و برهان را در علوم رایانه نشان میدهد که هیچ متن موجود دیگری انجام نمیدهد. با هدایت مثالها و تمرینها، دانشآموزان به سرعت در مفیدترین روشهای اثبات سطح بالا، از جمله استدلال معادلهای، چندین اشکال استقرایی، تحلیل موردی، اثبات با تضاد، و انتزاع/تخصص غوطهور میشوند. این کتاب شامل مطالب کمکی در حل SAT و SMT، اثبات قضیه خودکار و برنامهنویسی منطقی است. این کتاب را میتوان برای دانشجویان رشته کامپیوتر در مقطع کارشناسی یا کارشناسی ارشد با سطح پایه برنامهنویسی و تجربه ریاضی استفاده کرد. برنامه نویسان حرفه ای، متخصصان روش های رسمی، و محققان در شاخه های مرتبط با منطق علوم کامپیوتر، آن را مرجع ارزشمندی خواهند یافت.
tag : دانلود کتاب روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه , Download روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه , دانلود روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه , Download Fundamental Proof Methods in Computer Science: A Computer-Based Approach Book , روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه دانلود , buy روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه , خرید کتاب روشهای اثبات بنیادی در علوم رایانه: رویکردی مبتنی بر رایانه , دانلود کتاب Fundamental Proof Methods in Computer Science: A Computer-Based Approach , کتاب Fundamental Proof Methods in Computer Science: A Computer-Based Approach , دانلود Fundamental Proof Methods in Computer Science: A Computer-Based Approach , خرید Fundamental Proof Methods in Computer Science: A Computer-Based Approach , خرید کتاب Fundamental Proof Methods in Computer Science: A Computer-Based Approach ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.