156064
9780135012062
This book covers all the traditional topics of discrete mathematicslogic, sets, relations, functions, and graphsand 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. DescribesProlog, a programming language based on logic, and a section onMiranda,language bad on functions. Featuresnumerous exampleswhich relate the mathematical concepts to problems in computer science.Winfried Karl Grassmann is the author of 'Logic and Discrete Mathematics: A Computer Science Perspective', published 1995 under ISBN 9780135012062 and ISBN 0135012066.
[read more]