Examples are chosen from a variety of disciplines, with emphasis on solutions which are algorithmic and computational in nature. Spring 2003 Vectors, vector functions, function of several variables, partial differentiation, optimization, multiple integration, transformation of coordinates, line and surface integrals, and Green's and Stokes' theorems. Math 112 or equivalent . Spring 2002 Spring 2003 Systems of linear equations, algebra of matrices, determinants, abstract vector spaces, linear transformations, eigenvalues, and quadratic forms. Introduction to abstract mathematical thinking, emphasizing mathematical reasoning and exposition.
Students study elementary logic and basic set theory with rigorous definitions and proofs.
This foundation will then used to explore one of several optional topics chosen by the instructor. Math 112 or equivalent . Topics selected from graph theory, enumeration, recursion, partially ordered sets, and design and coding theory. Applications are chosen from computer science, optimization, and the social and life sciences. Math 215 or 208 .