# Math 299: Introduction to Mathematical Proof

Final Exam – Thursday, May 20, 2021, 5:15pm
**Finish working on the Term Paper Final Exam.** Follow the instructions document in your Dropbox folder. Place the final copy in your Dropbox folder before 5:15pm on Thursday, May 20. We will meet in our Zoom classroom at 5:15pm on Thursday, May 20 for a course wrap up chat. Send any questions to the Homework Hotline as usual. Game on!

### Math 299 Online

**Math 299 Online Classroom** Our new home away from home. Click here to enter our new Zoom classroom.
- Zoom help – Zoom for Scranton students, how to install, how to use, documentation.

#### Course Handouts

#### Proof Software

- 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!*.
- Lurch – a math word processor that can check your proofs! I designed and wrote this software with former Scranton math major Nathan Carter specifically with this course in mind.

#### Mathematical Writing and Typesetting

**Overleaf**

- Overleaf – a free website where you can easily produce LaTeX math documents through a web browser
- Homework Template – Handout 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 – article 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).
- Sample Document – an example document using the article style above.

**LaTeX**

- LaTeX Cheat Sheet – a quick reference that can be printed on one sheet of paper
- Detexify – a quick way to look up the name of a math symbol in \LaTeX by drawing it by hand.

**LaTeX for laptops**

- LyX – a free math word processor based on LaTeX
- MikTeX – install this and TeXnicCenter for LaTeX on your Windows computer
- TeXnicCenter – install this and MikTeX for LaTeX on your Windows computer
- MacTeX – Install this for LaTeX on your Mac computer