Math 299: Introduction to Mathematical Proof

Final Exam – Thursday, May 16, 2024, 5:15pm
  • Our Final Exam will be at 5:15pm on Thursday, May 16 in our classroom. Bring your laptops. You will be asked to do as many proofs correctly as you can in two hours. I will email you with any additional details. Game on!

Course Handouts

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

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.
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

Math 299 Online

  • Math 299 Online Classroom
  • Our home away from home if we can’t meet in person for some reason. Click here to enter our Zoom classroom.
  • Zoom help – Zoom for Scranton students, how to install, how to use, documentation.

Lurch!!

Toy 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!.