Math 299 Page

This page contains information relevant to Dr. Monks's Math 299 (Introduction to Mathematical Proof) course, Spring term 2010.

Course Handouts

• Course Syllabus
• Homework - check here often for the current homework assignments
• Lecture Notes - check here often for revised lecture notes for our course
• Lurch - and other software we will use in the course
• LyX - a free math word processor based on LaTeX
  
• LyX Tips - some tips on doing your homework with LyX
  
• Toy Proofs - a "toy" proof system I developed to introduce students to the concept of formal proofs
• Toy Proof Talk Slides - slides from a talk I gave on Toy Proofs at the 2009 Joint Mathematics Meetings
• Proof Recipes - delightful recipes for whipping up your own tasty proofs, by Chef Ken Monks
• Proof Shortcuts - interesting ways to reduce your cooking time
• Proof Strategies - some strategies for approaching your proofs

Many mathematics files on this site are in pdf format. If your browser does not display pdf files, click here for assistance.
This page was last  updated on Thursday, August 24, 2006 03:06:02 PM. © Ken Monks