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.