Announcements:

Test Dates: March 8, April 23, May 22

Course Information

Office Hours:

• Monday and Friday, 11:30am - 12:20 pm
• Wednesday, 10:30 -12:20 pm

• Tom LoFaro's paper
  
• Graph Theory Tutorials  including a glossary of terms
• Proof checklist  a  rubric for grading proofs that may be useful
• MathMag/CMJ searchable database search for reviews of articles in Mathematics Magazine and College Math Journal
  
• Find the Flaw
• Macalester College Problem of the Week (905:  a logic puzzle)
• Source code for topological sorting (Stony Brook Algorithm Archive)
• Information flow security (Myers and Liskov, MIT)
• Can computers prove theorems?
• Computer Math Proof Shows Reasoning Power (NYT 12/1/96)
• Corrections and Comments on above article
• Summary of results obtained with Argonne's Automated Deduction Software
• What is the best way to stack oranges? (NYT 8/25/98)
• Four Color Theorem
• Galois Theory and the Internet (NYT 2/8/99) (not really about computers proving theorems, but an interesting discussion of an application of a rather abstract mathematical idea from algebra, my personal favorite branch of math)

Last modified:  5/12/04