Computer-Aided Reasoning

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (1)

An Approach

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

An Approach

Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry. Current hardware and software systems are often very complex and the trend is towards increased complexity. Many of these systems are of critical importance; therefore making sure that they behave as expected is also of critical importance. By modeling computing systems mathematically, we obtain models that we can prove behave correctly. The complexity of computing systems makes such proofs very long, complicated, and error-prone. To further increase confidence in our reasoning, we can use a computer program to check our proofs and even to automate some of their construction. In this book we present: A practical functional programming language closely related to Common Lisp which is used to define functions (which can model computing systems) and to make assertions about defined functions; A formal logic in which defined functions correspond to axioms; the logic is first-order, includes induction, and allows us to prove theorems about the functions; The computer-aided reasoning system ACL2, which includes the programming language, the logic, and mechanical support for the proof process. The ACL2 system has been successfully applied to projects of commercial interest, including microprocessor, modeling, hardware verification, microcode verification, and software verification. This book gives a methodology for modeling computing systems formally and for reasoning about those models with mechanized assistance. The practicality of computer-aided reasoning is further demonstrated in the companion book, Computer-Aided Reasoning: ACL2 Case Studies. Approximately 140 exercises are distributed throughout the book. Additional material is freely available from the ACL2 home page on the Web, including solutions to the exercises, additional exercises, case studies from the companion book, research papers, and the ACL2 system with detailed documentation.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

J. Strother Moore

ناشر

Springer

شابک

9781461370031

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Computer-Aided Reasoning

Computer-Aided Reasoning

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

ناشر

شابک

کتاب های مرتبط

Computer-aided reasoning : ACL2 case studies

The Object-Z Specification Language

Computer-aided reasoning : ACL2 case studies

The object-Z specification language

Computer-Aided Reasoning : an Approach

Computer-Aided Reasoning

Software Engineering with Obj

Computer-Aided Reasoning

C All-In-One Desk Reference for Dummies

Professional CSS

Digital Photography For Dummies

A Truck Full of Money

Nonlinear Dynamics and Chaos

Nonlinear Dynamics and Chaos

Nonlinear Dynamics and Chaos, 2nd ed. SET with Student Solutions Manual

Complete Electronics

Trojan Horse

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Automatic Digital Document Processing and Management

Guide to Assembly Language

دیدگاه کاربران