Logic And Declarative Language Contributor(s): Downward, M. (Author) |
|||
ISBN: 0748408037 ISBN-13: 9780748408030 Publisher: Routledge
Binding Type: Hardcover - See All Available Formats & Editions Published: March 1998 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! |