Notes on Math Proof

These are notes for a course in math proof: An introduction to writing proofs, the basic types of proofs, and an introduction to important mathematical objects such as functions and relations. The logic and set theory are presented in a naive way.

The first link in each item is to a Web page; the second is to a PDF (Adobe Acrobat) file. Use the PDF if you want to print it.

These notes are the most recent versions; they're listed in order of presentation.


Contact information

Bruce Ikenaga's Home Page