This book covers sets, relations, functions, propositional logic, techniques of proof, lattice, algebraic structures, boolean algebra combinatorics, discrete numeric function, generating function and recurrence relation and graph theory.

Each chapter starts with clear definitions, principles and theorems, and includes illustrative and descriptive material. A large number of solved examples help to illustrate the material.

This book has been written to fulfil the requirements of graduate and post-graduate students pursuing courses in mathematics and computer engineering.