Discrete Mathematics Using a Computer

Computer science abounds with applications of discrete mathematics, yet s- dents of computer science often study discrete mathematics in the context of purely mathematical applications. A major aim of this text is to integrate, tightly, the study of discrete mathematics with the study of central problems of computer science.