Math 287, Spring 2025

Catalog description: An introduction to formal mathematical language, mathematical experimentation, mathematical proofs, mathematical communication, and technologies supporting the above. Core content includes sets and functions, elementary number theory and induction, and distances and topology on the real line. Additional content drawn from logic, combinatorics and probability, graph theory, and modular arithmetic.

We will use the textbook The Art of Proof: Basic Training for Deeper Mathematics by Matthias Beck and Ross Geoghegan, 2010. A link to a free PDF is available from the authors’ website for the book