 |
|
|
Item Details
| Title:
|
LOGIC FOR COMPUTER SCIENCE
|
| By: |
Reeves |
| Format: |
Paperback |
| List price:
|
£23.95 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0201416433 |
| ISBN 13: |
9780201416435 |
| Publisher: |
PEARSON EDUCATION (US) |
| Pub. date: |
1 January, 1990 |
| Pages: |
368 |
| Synopsis: |
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. |
| Publication: |
US |
| Imprint: |
Addison Wesley |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|