Low Price Guarantee
We Take School POs
Logic And Declarative Language
Contributor(s): Downward, M. (Author)

View larger image

ISBN: 0748408037     ISBN-13: 9780748408030
Publisher: Routledge
OUR PRICE: $152.00  

Binding Type: Hardcover - See All Available Formats & Editions
Published: March 1998
Qty:

Annotation: Logic has acquired a reputation for being difficult, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included which will lead to a much greater confidence in manual proofs, in turn leading to a greater confidence in automated proofs.
Additional Information
BISAC Categories:
- Computers | Programming - Object Oriented
- Computers | Computer Science
Dewey: 005.115
LCCN: 98179219
Lexile Measure: 1450(Not Available)
Physical Information: 0.9" H x 6.54" W x 9.5" L (1.66 lbs) 384 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!