Math 287, Fall 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 Introduction to Proof via Inquiry-Based Learning by Dana C. Ernst.