How Do We Know That's the Minimum?
August 2005, Volume 99, Issue 1, Page 18
How the author uses classic problems in discrete mathematics as a context for teaching and proof. The Map Coloring problem and the Traveling Salesman problem, two combinatorial optimization problems, are used to teach logical concepts and methods of proof.
Reasoning and Proof