An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory ... Read More
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book. Read Less
Add this copy of Logic for Computer Science (International Computer to cart. $8.41, good condition, Sold by More Than Words rated 5.0 out of 5 stars, ships from Waltham, MA, UNITED STATES, published 1990 by Addison Wesley Publishing Company.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. . All orders guaranteed and ship within 24 hours. Your purchase supports More Than Words, a nonprofit job training program for youth, empowering youth to take charge of their lives by taking charge of a business.
Add this copy of Logic for Computer Science (International Computer to cart. $37.23, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by Addison-Wesley.
Add this copy of Logic for Computer Science (International Computer to cart. $68.64, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1990 by Addison-Wesley.
