Logic and Discrete Mathematics: A Computer Science Perspective

by Winfried Karl Grassmann, Jean-Paul Tremblay

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.

Genres: Computer Science, Textbooks, Mathematics

776 pages, Paperback

First published December 28, 1995

Reviews

[Achmed · Rating 4 out of 5]

Clearly written and authoritative. A good choice for the subject.