MATH 387 DISCRETE AND FOUNDATIONAL MATHEMATICS II (4-0-4)(S)(Odd years)
A continuation of MATH 187, exploring more advanced topics
in logic, set theory, and discrete mathematics. Proof
techniques in predicate logic; diagonalization arguments
in logic, set theory and computer science; ordered sets;
mathematical methods in cryptography; advanced techniques
of combinatorial enumeration; selected topics in graph
theory. PREREQ: MATH 187 or MATH 189.