This is the core of the reading, particularly Theorem 3.2.17. I look forward to your comments and criticism. You can use
the Canvas discussion board to start a conversation before Thursday.
Subsection 3.2.5. More on Surjections, Injections, and Bijections.
Friday, October 3, 2025
Today we talked about functions. I want to popularize this way of looking at functions, so I wrote
the Functions webpage.
In this class we present a rigorous approach to basic theorems in calculus. Since rigorous reasoning in Mathematics is based on Mathematical Logic, we will start with a Brief Review of Mathematical Logic. This is Chapter Two in the class lecture notes.