For one- or two-term 1st/2nd year-level courses in Discrete Mathematics. Combining a careful selection of topics with previews of their genuine applications in computer science, this text, more than any other book in its field, is written with an appropriate level of rigor and a strong pedagogical focus. It limits its area and coverage of topics to those that students will actually utilize, and emphasizes both basic theory and applications, giving a firm foundation for more advanced courses, as well as providing an excellent reference work for those courses.
