Math 4020 - Course Websites

An encyclopedic website of sophisticated resources related to the formal study of logic can be found at www.rbjones.com/rbjpub/logic/

At the following web site is found a calculator that will produce a truth table for any symbolic statement: http://logik.phl.univie.ac.at/%7Echris/formular-ukzentral.html

Visit www.theory.cs.uvic.ca/~cos/venn/ for a tour of the mathematics of Venn diagrams including a biography of John Venn.

Those who enjoy the exploratory exercises in Section 1.3 and 1.4 related to Lewis Carroll.s puzzles will enjoy visiting this Lewis Carroll website that is filled with both mathematical and historical content. Visit www.lewiscarroll.org/carroll.html .

N.J.A. Sloane’s Online Encyclopedia of Integer Sequences is an excellent resource for sequences of integers: http://www.research.att.com/~njas/sequences/

Visit this web site for links to a broad range of topics in number theory, both elementary and sophisticated:  http://archives.math.utk.edu/topics/numberTheory.html

Visit this web site for an exhaustive discussion of the traveling salesman problem including historical notes and pictures of Hamilton.s original “Voyage Around the World Game”.:  www.math.princeton.edu/tsp/

Links to a variety of web pages related to graph theory can be found at this site: http://archives.math.utk.edu/topics/discreteMath.html

Pascal’s Triangle and its Patterns http://ptri1.tripod.com/