An introduction to the various tools and techniques in discrete mathematics. Topics include mathematical logic, sets, relations, algorithms, combinatorics, recursion, graph theory, trees, network models, and Boolean algebras. Prereq: MAT 222 or permission of the instructor.