Logic and Discrete Mathematics: A Computer Science Perspective
Logic and Discrete Mathematics: A Computer Science Perspective by Winfried Karl Grassmann is a comprehensive resource published by Pearson on December 28, 1995. This 776-page book is presented in English and addresses essential topics in discrete mathematics, including logic, sets, relations, functions, and graphs, while also reflecting contemporary trends in computer science.
Readers will find that this book illustrates the application of discrete mathematics and logic in specifying new computer applications and reasoning about programs systematically. It includes discussions on Prolog, a programming language rooted in logic, as well as a section on Miranda, a language based on functions. The text is enriched with numerous examples that connect mathematical concepts to practical problems in the field of computer science.
Official synopsis Publisher
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.
FAQ
What is “Logic and Discrete Mathematics: A Computer Science Perspective” about?
Who is the author of “Logic and Discrete Mathematics: A Computer Science Perspective”?
When was “Logic and Discrete Mathematics: A Computer Science Perspective” published?
What is the ISBN for “Logic and Discrete Mathematics: A Computer Science Perspective”?
What are the book details (language, pages, edition)?
