Logic and Discrete Mathematics: A Computer Science Perspective

Front Cover

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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Predicate Calculus
Induction and Recursion

12 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information