 | | Home : Math : Higher Mathematics : Discrete Mathematics : Rosen, Discrete Mathematics and Its Applications, 6th Edition : Chapter 01 : Page 3 | | LINKS: |  | |
Pages: [<<] 1 2 3 4 [>>] | - Page 036 - Section 1.3
Logic and Mathematics -- An overview of logic and the philosophy of mathematics can be found at the following website. There are sections on propositional and predicate calculus, as well as additional topics on the foundations of mathematics.
http://www.math.psu.edu/simpson/papers/philmath/
(Added: Fri Jul 28 2006)
- Page 044 - Section 1.3
Lewis Carroll Home Page -- A home page for Lewis Carroll provides information about his life, his writings, his puzzles, on-line texts, related academic studies and societies, objects to buy, and so on.
http://www.lewiscarroll.org/carroll.html
(Added: Fri Jul 28 2006)
- Page 044 - Section 1.3
Lewis Carroll Puzzles and Games -- Lewis Carroll puzzles and games are accessible here.
http://home.earthlink.net/~lfdean/carroll/puzzles/index.html
(Added: Fri Jul 28 2006)
- Page 044 - Section 1.3
Lewis Carroll's Logic Game -- Explore Lewis Carroll's Game of Logic and play with some interactive applets here.
http://www.cut-the-knot.com/LewisCarroll/LCGame.html
(Added: Fri Jul 28 2006)
- Page 045 - Section 1.3
Resolution, P=prolog -- A description of Prolog and resolution by Lee Spector at Hampshire College can be found here.
http://hampshire.edu/lspector/courses/resolution-prolog/resolution-prolog.html
(Added: Fri Jul 28 2006)
- Page 045 - Section 1.3
Math 156 Prolog Page (F99) -- Information on the Prolog language can be found at the Math 156 Prolog Page, which includes the Toy Prolog interpreter.
http://www.calvin.edu/~rpruim/courses/m156/F99/prolog/intro.shtml
(Added: Fri Jul 28 2006)
- Page 045 - Section 1.3
Toy Prolog Interpreter -- More information about the Toy Prolog interpreter can be found here.
http://www.csse.monash.edu.au/~lloyd/tildeLogic/Prolog.toy/
(Added: Fri Jul 28 2006)
- Page 045 - Section 1.3
Prolog -- Another large collection of Prolog Examples with interactive applets can be found here.
You will need the B-Prolog system to interact with the programs and generated applets.
http://www.probp.com/examples.htm
(Added: Fri Jul 28 2006)
- Page 045 - Section 1.3
Logic Programming -- Information on logic programming, including Prolog, can be found at the World Wide Web Virtual Library, accessible here.
http://www.afm.sbu.ac.uk/logic-prog/
(Added: Fri Jul 28 2006)
- Page 051 - Section 1.4
Logic Introduction -- An excellent introduction to logic, including propositional logic, predicate logic, and rules of inference, can be found at the Introduction to Logic website by Stefan Waner and Steven R. Costenoble.
http://people.hofstra.edu/faculty/Stefan_Waner/RealWorld/logic/logicintro.html
(Added: Fri Jul 28 2006)
- Page 062 - Section 1.4 Exercise #37d
The Oracle of Bacon at Virginia -- The Oracle of Bacon website at Virginia allows you to enter the name of any actor or actress and accordingly calculates the Bacon Number for that actor or actress.
http://www.cs.virginia.edu/oracle/
(Added: Fri Jul 28 2006)
- Page 062 - Section 1.4 Exercise #37d
Six Degrees of Kevin Bacon -- Some people claim that every actor from a movie made during the last 15 years can be connected to Kevin Bacon in six or fewer steps. You can learn more about this, and find additional links relating to this phenomenon, here.
http://oracleofbacon.org/
(Added: Fri Jul 28 2006)
- Page 065 - Section 1.6
Logic Introduction -- An excellent introduction to logic, including propositional logic, predicate logic, and rules of inference, can be found at the Introduction to Logic website by Stefan Waner and Steven R. Costenoble.
http://people.hofstra.edu/faculty/Stefan_Waner/RealWorld/logic/logicintro.html
(Added: Fri Jul 28 2006)
- Page 068 - Section 1.5
Resolution -- You can learn more about resolution in logic at the Wikipedia page here.
http://en.wikipedia.org/wiki/First-order_resolution
(Added: Fri Jul 28 2006)
- Page 069 - Section 1.5
Classic Fallacies -- You can find some incorrect proofs based on fallacious reasoning here. See whether you can find the flaw in each of the proofs listed.
http://www.math.toronto.edu/mathnet/falseProofs/fallacies.html
(Added: Fri Jul 28 2006)
- Page 069 - Section 1.5
Informal Fallacies -- A useful source for information about fallacies can be found here.
http://www.drury.edu/ess/Logic/Informal/Overview.html
(Added: Fri Jul 28 2006)
- Page 069 - Section 1.5
Fallacies -- A long list of fallacies can be found here.
http://www.nizkor.org/features/fallacies/
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
How To Write Proofs -- Guidance on how to write proofs as well as an introduction to proof strategies, can be found at Larry W. Cusick's website.
http://zimmer.csufresno.edu/~larryc/proofs/proofs.html
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
Proving Real Theorems -- A website with more information on several different methods of proof can be found here.
http://cse.stanford.edu/classes/cs103a/h24RProofs.htm
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
Notes on Methods of Proof -- A website describing different proof methods, including existence proofs and uniqueness proofs.
http://www.math.csusb.edu/notes/proofs/pfnot/pfnot.html
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
Proofs in Mathematics -- An interesting variety of proofs and other problems in mathematics can be found at the Cut-the-Knot site.
http://www.cut-the-knot.com/proofs/index.shtml
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
Tom's Combinatorial Geometry Class -- A review of methods of proof can be found here.
http://www.merrimack.edu/~thull/combgeom/prooftips.html
(Added: Fri Jul 28 2006)
- Page 075 - Section 1.6
Some Mathematical Proofs -- A humorous discussion of bogus proof techniques can be found here.
http://paul.merton.ox.ac.uk/science/maths-proofs.html
(Added: Fri Jul 28 2006)
- Page 080 - Section 1.6
Proofs by Contradiction -- A selection of proofs by contradiction can be found here. If you are stuck on a problem in the exercise, look at a similar example for a hint.
http://zimmer.csufresno.edu/~larryc/proofs/proofs.contradict.html
(Added: Fri Jul 28 2006)
- Page 083 - Section 1.6
Paradoxes -- You can find a collection of many intriguing paradoxes including those relating to logic and to sets, as well as paradoxes from literature, at this amusing and highly informational site. See whether you can find the errors in the incorrect proofs called "arithmetic and algebraic paradoxes."
http://www.wordsmith.demon.co.uk/paradoxes/#barber
(Added: Fri Jul 28 2006)
| |
Pages: [<<] 1 2 3 4 [>>] | |
