Uses current technology to support graphical, numeric, and symbolic approaches. Follows MAT 112 or MAT 114. Highlights connections between matrices and systems of equations. Looks into graph theory, recurrence relations, complexity theory, traveling-salesperson problem, knapsack problem, Hamilton cycle problem, Boolean algebra, and mathematical induction. Students test conjectures, write proofs, and provide counterexamples.
Students write proofs and produce counterexamples.
Uses commercial statistical packages. Acquaints students with large collection of groups and with Cayley's theorem, Lagrange's theorem, and fundamental homomorphism theorem. Emphasizes production of accurate, concise proofs. Supervises individual study on such advanced topics as differential equations, linear programming, game theory, probability and statistics, and model theory. May be repeated from credit.