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.
[Tuesday, November 28, 2018] All the notes have been revised.
Bruce Ikenaga's Home Page