Discrete Mathematics: Foundation Of Computer Science

Table of contents: set theory propositional calculus and formal logic methods of proof combinatorics relation lattices boolean algebra recurrence relation graph theory algebraic structure matrices finite state machine logic programming appendices miscellaneous exercises previous years solved question papers index