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.