 | | Home : Math : Higher Mathematics : Discrete Mathematics : Rosen, Discrete Mathematics and Its Applications, 6th Edition : Chapter 01 | | LINKS: |  | |
Pages: 1 2 3 4 [>>] | - Page 002 - Section 1.1
Aristotle -- Overview [Internet Encyclopedia of Philosophy] -- Information on the life and works of Aristotle can be found at the Internet Encyclopedia of Philosophy. Pay particular attention to the section on logic to learn how propositional logic and calculus were first developed.
http://www.utm.edu/research/iep/a/aristotl.htm
(Added: Fri Jul 28 2006)
- Page 002 - Section 1.1
Aristotle -- You can find biographical information on the life and works of Aristotle, with some interesting links, at the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Aristotle.html
(Added: Fri Jul 28 2006)
- Page 003 - Section 1.1
Applied Logic for Computer Science -- Check out the course notes for the course Applied Logic for Computer Science given at the University of Western Ontario. These notes cover propositional calculus, predicate calculus, automated theorem proving, resolution, Boolean algebra, DNA computing, and many other topics. Because much content at this site is in PostScript, you will need a PostScript previewer such as Ghostscript or Ghostview (available for free download over the Web), or Adobe Acrobat Distiller (available commercially).
http://www.csd.uwo.ca/~lila/209.html
(Added: Fri Jul 28 2006)
- Page 003 - Section 1.1
CS381 Web Course Materials -- A website for an Internet based Discrete Structures course from Old Dominion University with lots of useful material on logic can be found here. The online exercises provided are good tests of your understanding of topics in logic.
http://www.cs.odu.edu/~toida/nerzic/content/web_course.html
(Added: Fri Jul 28 2006)
- Page 003 - Section 1.1
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 003 - Section 1.1
Mathematical Atlas: Mathematical logic and foundations -- A good introduction to mathematical logic can be found on the Mathematical Atlas website.
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
(Added: Fri Jul 28 2006)
- Page 003 - Section 1.1
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 003 - Section 1.1
Truth Values -- You can use the Java applet supplied on this page to find the truth table of a compound proposition. (The way to enter logical connectives can be found elsewhere on this site.)
http://www.uiowa.edu/~linguist/classes/lfr-fall98/software/truth_tables.html
(Added: Fri Jul 28 2006)
- Page 005 - Section 1.1
Roger P@rsons_world of George Boole -- You can find an extensive biography of George Boole, including a portrait, at the Roger P@rsons_world of Lincolnshire site.
http://homepages.enterprise.net/rogerp/george/boole.html
(Added: Fri Jul 28 2006)
- Page 005 - Section 1.1
George Boole -- A biography and a portrait of George Boole can be found at the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Boole.html
(Added: Fri Jul 28 2006)
- Page 005 - Section 1.1
`The Calculus of Logic' by George Boole -- A copy of George Boole's pioneering article "The Calculus of Logic," published in 1848, can be seen at the History of Mathematics Archive at the School of Mathematics, Trinity College, Dublin, Ireland.
http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/
(Added: Fri Jul 28 2006)
- Page 006 - Section 1.1
CS381 Web Course Materials -- A website for an Internet based Discrete Structures course from Old Dominion University with lots of useful material on logic can be found here. The online exercises provided are good tests of your understanding of topics in logic.
http://www.cs.odu.edu/~toida/nerzic/content/web_course.html
(Added: Fri Jul 28 2006)
- Page 006 - Section 1.1
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 006 - Section 1.1
Study Guide Part 2.1.3 -- You can find a guide providing tips on how to formulate mathematical statements with implications here.
http://www.maths.ox.ac.uk/current-students/undergraduates/study-guide/p2.1.3.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Dave's Logic Puzzles -- You can find some interesting logic puzzles at this site.
http://dfcurran.com/logic/logicpuz.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Brain Food -- You can find many logic puzzles, as well as other types of puzzles, at the Brain Food homepage.
http://rinkworks.com/brainfood/
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
EncycloZine Logic Puzzles -- A large collection of logic puzzles and paradoxes can be found at the EncycloZine Logic Puzzles homepage.
http://encyclozine.com/Puzzles/Logic/
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Index of Logic Puzzles -- A large collection of logic puzzles, complete with clues, answers and solutions, can be found here.
http://brownbuffalo.sourceforge.net/puzzle_index.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Logic Problems Page -- A useful Web site on complicated logic puzzles can be found here.
http://www.geocities.com/Heartland/Plains/4484/logic.htm
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Logic Puzzles -- A very large collection of various logic puzzles can be found at the rec.puzzles archive. The solution to each puzzle is also provided.
http://mathforum.org/rec_puzzles_archive/logic/
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Mike's Logic and Math Problems -- A collection of various logic puzzles can be found at Shack's Math Problems. The answer and solution to each problem is also provided.
http://www.wizardofodds.com/math/group7.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Borborygmus' Logic Problems -- You can find a growing list of logic puzzles here.
http://www.nzorgan.com/borborygmus/logic_puzzles.htm
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Boolean Searching on the Internet -- Information on Boolean searching can found at the University of Albany Libraries site.
http://www.internettutorials.net/boolean.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Infoseek -- The particular way to carry out Boolean searches and other types of searches for a particular search engine is usually described somewhere on the site of that search engine. For example, check out the following page from Infoseek.
http://www.ieee.org/portal/pages/web/search/help/boolean.html
(Added: Fri Jul 28 2006)
- Page 013 - Section 1.1
Boolean searching on the Internet -- This primer about Boolean logic and how it can be used to search for information on the Internet can be found here.
http://www.internettutorials.net/boolean.html
(Added: Fri Jul 28 2006)
| |
Pages: 1 2 3 4 [>>] | |
