ESSENTIAL LOGIC FOR COMPUTER SCIENCE

REX PAGE AND RUBEN GAMBOA

ISBN 10: 0262039184 ISBN 13: 9780262039185

Published by The MIT Press, 2019

Language: English

Condition: New Hardcover

Save for Later

Sold by SMASS Sellers, IRVING, TX, U.S.A.

AbeBooks Seller since February 22, 2022

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price: US$ 57.06 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Seller Inventory # ASNT3-11720

Contact seller

Report this item

Bibliographic Details

Title

ESSENTIAL LOGIC FOR COMPUTER SCIENCE

Publisher

The MIT Press

Publication Date

2019

Language

English

ISBN 10

0262039184

ISBN 13

9780262039185

Binding

Hardcover

Condition

New

Seller catalogs

About this title

Synopsis

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.

Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation.

Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.

About the Author

Rex Page is Professor Emeritus in the School of Computer Science at the University of Oklahoma.

Ruben Gamboa is Professor in the Department of Computer Science at the University of Wyoming.

"About this title" may belong to another edition of this title.

Store Description

We sell Brand New University Textbooks to students at very affordable prices. All orders are shipped by Trackable methods only and the tracking number is available within 48 hours of placing the order. We also offer free shipping to USA, Canada and Europe and lowest shipping charges in other countries. We have multiple warehouses to save on the transit time.

Visit Seller's Storefront

Seller's business information

SMASS Group LLC
1944 Loma Linda Dr, Irving, TX, 75063, U.S.A.

Sale & Shipping Terms

Terms of Sale

We sell Brand New Textbooks requied for studies in the Univesity. We have been in this business for the past 14 years and we know how to keep our customers happy and satisfies by providing them the required course material and the most affordable prices.

Shipping Terms

We ship all orders from our Multiple warehouses by Tracakble method only. We have tie up with Fedex, DHL, UPS and USPS for our logistics requirements. All tracking numbers are available within 48 hours of processing the order.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 10 business days	3 to 6 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.