MAD 2104. Discrete Mathematics (3). Prerequisite: MAC 1140. Credit is not also allowed for MGF 3301. Mathematical techniques of definition and proof, with application to discrete domains; formal logic; elementary combinatorics; digraphs and relations; graphs, trees, and multigraphs; applications.