Math 299: Introduction to Mathematical Proof

Course Handouts

Lecture Notes – a completely revised web verion of our course lecture notes and exercises. This is currently under development and will be revised frequently.

• Previous Lecture Notes – the lecture notes and exercises from previous instances of our course. This is being revised and replaced by the site above, but is still useful.
• Course Syllabus – our course syllabus

Proof Software

• Lurch – is a math word processor that can check your proofs!
• Toy Proofs – a “toy” proof system I developed to introduce students to the concept of formal proofs.
• Circle Dot Game – describing the definitions behind the game.
• Toy Proof Talk Slides – slides from a talk I gave on Toy Proofs at the 2009 Joint Mathematics Meetings
• Scrambling Ice Cream – a word problem based on a variant of the Toy Proof system, Scrambler!.

Mathematical Writing and Typesetting

Overleaf

Homework Template (Article style)
Click this link to start a new assignment (then copy the project in your list of Overleaf projects to make your own copy from my read-only original).

• Sample Document – an example document using the homework assignment style above.
• Homework Template (Handout style)
  Click this link to start a new assignment that is formatted more like a typical LaTeX article (then copy the project in your list of Overleaf projects to make your own copy from my read-only original).
• Overleaf – a free website where you can easily produce LaTeX math documents through a web browser

LaTeX

• LaTeX Cheat Sheet – a quick reference that can be printed on one sheet of paper 
  (posted by winston at stdout.org)
• Detexify – a quick way to look up the name of a math symbol in \LaTeX by drawing it by hand.