Math 345 Page

This page contains information relevant to Dr. Monks's Math 345 (Geometry) course, Fall term 2008.

Course Handouts

• Course Syllabus
• Homework assignments 
• Lecture Notes 
• Toy Proofs - a "toy" proof system I developed to introduce students to the concept of formal proofs
• LurchJr - software for learning and playing with toy proofs
• LurchAlpha - software for learning and playing with ND propositional logic
• 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
• Email Rules! - some rules for sending me math questions by email (to facilitate making FAQ's)
• Geogebra - free software for doing geometry and other cool math stuff. It's awesome!

Online References

• Euclid's Elements - A wonderful online version of the classic that started it all by D. E. Joyce of Clark University.
• Euclid's Elements - actual photos and translation of the oldest existing copy written in greek in 888AD
• Hilbert's Axioms - for Euclidean geometry from R. I. Campbell of the University of Maryland, Baltimore County
• Tarski's Axioms - for Euclidean plane geometry
• Birkhoff's Axioms - for Euclidean geometry from R. I. Campbell of the University of Maryland, Baltimore County
• Bachmann's Axioms - for Bachmann geometries (of which Euclidean is one example)
• SMSG Axioms - for Euclidean geometry from R. I. Campbell of the University of Maryland, Baltimore County

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