Math 299: Introduction to Mathematical Proof

Daily Activities and Problem Sets

Final Exam – Thursday, May 18, 2023, 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 18. Send any questions to the Homework Hotline as usual. Game on!

Lecture Notes – the latest lecture notes from previous instances of our course. May be revised frequently.
Course Syllabus – our course syllabus

Math 299 Online Classroom
Zoom help – Zoom for Scranton students, how to install, how to use, documentation.

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.

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).
Overleaf – a free website where you can easily produce LaTeX math documents through a web browser

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.