This course provides a survey of discrete mathematics topics appropriate as an introduction for students of mathematics and computer science. Topics included are logic, sets, relations, functions, recursion, combinatorics, graphs, and modular arithmetic. Emphasis is place on exploration and computation in these areas.