Math 299: Introduction to Mathematical Proof
Daily Activities and Problem Sets:
Final Exam – Thursday, May 18, 2017, 5:15pm – LSC 316
- 1. Finish working on the Term Paper portion of the Final Exam. Place the final copy in your Dropbox folder before 5:15pm on Thursday, May 18.
- 2. Study for the In-Class portion of the Final Exam. This portion will be in Lurch and cover formal and semi-formal proofs. They can be on any topic we’ve covered in the course. Bring your laptops. The exam will have a 2 hour time limit. It will be open notes (lecture notes only) but knowing your definitions and rules will make you more efficient (hence the time limit). Free pizza will be provided. Maybe cookies. Who knows?
- 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.
- 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
Mathematical Writing and Typesetting
- Overleaf – a free website where you can easily produce LaTeX math documents through a web browser
- Homework Template – click this link to start a new assignment (chose ‘Clone this project’ after clicking on this link).
- Sample Document – an example document using the assignment style above.
- 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.
Mathematical Typesetting (continued)
- LyX – a free math word processor based on LaTeX
- LaTeX for laptops
- MikTeX – install this and TeXnicCenter for LaTeX on your Windows computer
- TeXnicCenter – install this and MikTeX for LaTeX on your Windows computer
- LaTeX for Mac
- MacTeX – Install this for LaTeX on your Mac computer