Math 299 Page

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

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
• In Class Examples - check here often for revised examples that I type in LyX in class.
• 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
  
• LyX Macros - some useful macros for typing logical symbols in LyX. Save this file to your hard drive. To use it in your LyX document, use the Insert->File->Child Document menu in LyX with the cursor at the top of your document. Browse to find the file saved on your hard drive and set the Include Type to Input
• 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