Logic for Computer Science

by Michael Clarke and Steve Reeves

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...

• Format: Paperback
• Language: English
• ISBN: 0201416433
• ISBN13: 9780201416435
• Release Date: January 1990
• Publisher: Addison Wesley Publishing Company
• Length: 260 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.8" x 9.2"