Logic for Computer Science

Name: Logic for Computer Science
Price: 5.7 USD
Availability: InStock
ISBN: 9780201416435

ISBN-10: 0201416433

ISBN-13: 9780201416435

Edition: 1990

Authors: Steve Reeves

List price: $32.00

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $5.70

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $32.00
Copyright year: 1990
Publisher: Addison-Wesley Longman, Incorporated
Binding: Paperback
Pages: 368
Size: 7.00" wide x 9.25" long x 0.75" tall
Weight: 1.034
Language: English