The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set theory, number theory, linear algebra, algebra and analysis.

This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins.

This brief article is intended to introduce the reader to the field of algebraic set theory, in which model of set theory of a new and fascinating kind are determined algebraically. The method is ...

Introduces ordinary differential equations, systems of linear equations, matrices, determinants, vector spaces, linear transformations, and systems of linear differential equations. Prereq., APPM 1360 ...