Web Links for Chapter 1
Page 1, Logic
Old Dominion University has logic lessons at http://www.cs.odu.edu/~toida/nerzic/content/logic/.
The Math Department at California State University, San Bernardino has logic help at http://www.math.csusb.edu/notes/cgi/contents.cgi.
Page 13, De Morgan
Information on August De Morgan can be found at
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/De_Morgan.html.
Page 17, Quantifiers
For help with quantifiers, see http://www.jgsee.kmutt.ac.th/exell/Logic/Logic21.htm and http://www.jgsee.kmutt.ac.th/exell/Logic/Logic22.htm.
Page 36, Proofs
The Math Department at California State Univeristy, San Bernardino has help with proofs at http://www.math.csusb.edu/notes/cgi/contents.cgi.
Cut-the-Knot discusses a variety of proof techniques at http://www.cut-the-knot.com/proofs/index.html.
Page 42, Great Internet Mersenne Prime Search
The link is at http://www.mersenne.org/prime.htm. On February 18, 2005, the 42nd known Mersenne prime was found. The number has 7,816,230 decimal digits.
Page 43, Fallacies
The Wikipedia discussion of fallacies is at http://en.wikipedia.org/wiki/Logical_fallacy.
Page 53, Mathematical Induction
See my own site mathinduction.pdf as well as http://www.geocities.com/CapeCanaveral/Launchpad/2426/page139.html and http://www.math.csusb.edu/notes/cgi/contents.cgi.
Page 58, A Tiling Problem
My own text-based tiling program in C is at trom.c. A C program by Anthony Quas, University of Memphis, to output a tiling in postscript format is at tiles.c. An animation of the algorithm can be found at Christopher P. Mawata’s site http://www.utc.edu/~cpmawata/trominos/. A list of algorithm animations is at http://www.cs.hope.edu/~alganim/ccaa/index.html.