Adv Discrete Math

Catalog description

Review of sets, relations, functions, enumeration, combinatorics, propositional logic, predicate logic and formal proof writing; advanced topics may be drawn from graph theory, discrete probability, recursion theory, number theory, cryptography, computability, and mathematical logic.