MATH3355 — Discrete Math
Introduction to mathematical logic, predicates and quantifiers, sets, proof techniques, recursion and mathematical induction, recursive algorithms, analysis of algorithms, assertions and loop invariants, complexity measures of algorithms, combinatorial counting techniques, relations, graph theory. prereq: 1297 or 1597 or instructor consent, a grade of C- or better in is required in all prerequisite courses