Introduction to mathematical logic, predicates and quantifiers, sets, proof techniques, recursion and mathematical induction, recursive algorithms, combinatorial counting techniques, basic number theory, and equivalence relations.
Colloquium series required for math, math-ed, and stat majors. Approximately eight colloquia per semester.
Elementary functions, matrices, graphical and algebraic methods for solving systems of linear equations and inequalities, introduction to linear programming, and abbreviated treatment of calculus with emphasis on business and social science applications.