This text covers traditional topics of discrete mathematics - logic, sets, relations, functions, and graphs - and reflects recent trends in computer science. It covers logic reasoning and shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. It also contains chapters on language and grammars, and relational databases and describes Prolog and Miranda.
- ISBN10 0135012066
- ISBN13 9780135012062
- Publish Date 17 January 1996 (first published 30 December 1995)
- Publish Status Out of Print
- Out of Print 15 March 2021
- Publish Country US
- Imprint Pearson
- Format Hardcover
- Pages 776
- Language English