For one/two-semester, sophomore-level courses in Discrete Mathematics. This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.