What do you think?
Rate this book
Logic and Discrete Mathematics: A Computer Science Perspective
This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
776 pages, Paperback
First published December 28, 1995
5 people are currently reading
69 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
January 12, 2008
Clearly written and authoritative. A good choice for the subject.
Displaying 1 of 1 review