 | | Home : Math : Higher Mathematics : Discrete Mathematics : Rosen, Discrete Mathematics and Its Applications, 6th Edition : Chapter 01 : Page 2 | | LINKS: |  | |
Pages: [<<] 1 2 3 4 [>>] | - Page 013 - Section 1.1
Boolean searching -- The website provides useful information and a demonstration of Boolean searching.
http://searchenginewatch.com/showPage.html?page=2155991
(Added: Fri Jul 28 2006)
- Page 014 - Section 1.1
Raymond Smullyan -- Biographical information about Professor Raymond Smullyan can be found on the University of Indiana website here.
http://www.indiana.edu/~alldrp/members/smullyan.html
(Added: Fri Jul 28 2006)
- Page 014 - Section 1.1
IP Modeling and the Logical Puzzles of Raymond Smullyan -- Some interesting ideas of Raymond Smullyan can be found here.
http://www.chlond.demon.co.uk/academic/papers/Smullyan.htm
(Added: Fri Jul 28 2006)
- Page 015 - Section 1.1
Bitwise Operations -- Information on bitwise operations can be found on this Wikipedia page.
http://en.wikipedia.org/wiki/Bitwise_operation
(Added: Fri Jul 28 2006)
- Page 016 - Section 1.1
John Wilder Tukey -- A biography and photograph of John Tukey can be found at the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-history.mcs.st-and.ac.uk/history/Mathematicians/Tukey.html
(Added: Fri Jul 28 2006)
- Page 019 - Section 1.1 Exercises
Carnegie Mellon Unversity, Computer Science Department -- A description of fuzzy logic can be found at the Carnegie Mellon School of Computer Science website.
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/faqs/ai/fuzzy/part1/faq-doc-2.html
(Added: Fri Jul 28 2006)
- Page 019 - Section 1.1 Exercises
About the FLLL -- Information about fuzzy logic can be found here.
http://www.flll.uni-linz.ac.at/navigation/main_navigation/frame_aboutus.html
(Added: Fri Jul 28 2006)
- Page 021 - Section 1.1 Exercise #65
Solution of the Zebra Puzzle -- Who Owns the Zebra is a classic but difficult logic problem. A solution to the Zebra Puzzle can be found at the homepage of the Math Forum.
http://mathforum.org/dr.math/problems/joseph8.5.97.html
(Added: Fri Jul 28 2006)
- Page 022 - Section 1.2
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 022 - Section 1.2
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 022 - Section 1.2
Logical Equivalences
-- You can use the Java applet supplied on this page to generate logical expressions equivalent to a logical expression that you enter. These equivalent logical expressions are produced by applying various logical identities. (In this site, conjunction is denoted using & (ampersand), disjunction by V (vee), and negation by ~ (tilde).)
http://www.uiowa.edu/~linguist/classes/lfr-fall98/software/equivalences.html
(Added: Fri Jul 28 2006)
- Page 025 - Section 1.2
Augustus De Morgan -- Information about Augustus De Morgan can be found at the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-history.mcs.st-and.ac.uk/history/Mathematicians/De_Morgan.html
(Added: Fri Jul 28 2006)
- Page 027 - Section 1.2
Agnes Scott College -- Biographical information and portraits of Ada Lovelace can be found here.
http://www.agnesscott.edu/lriddle/WOMEN/love.htm
(Added: Fri Jul 28 2006)
- Page 027 - Section 1.2
Ada Augusta, countess of Lovelace -- You can find biographical information on Ada Lovelace on the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Lovelace.html
(Added: Fri Jul 28 2006)
- Page 027 - Section 1.2
Ada: The Enchantress of Numbers -- You can find more biographical information about Ada Lovelace at the site for the book Ada: The Enchantress of Numbers by Betty Toole.
http://www.well.com/user/adatoole/bio.htm
(Added: Fri Jul 28 2006)
- Page 027 - Section 1.2
TAP: Ada Lovelace - "Notes" -- You can find Ada Lovelace's notes about Charles Babbage's Analytical Engine here.
http://www.cs.yale.edu/homes/tap/Files/ada-lovelace-notes.html
(Added: Fri Jul 28 2006)
- Page 027 - Section 1.2
Ada Byron King -- A good starting place to find more out about Ada Lovelace is here.
http://www.cs.yale.edu/homes/tap/ada-lovelace.html
(Added: Fri Jul 28 2006)
- Page 030 - Section 1.3
The predicate calculus -- You can find an overview of predicate calculus at this website by Stephen G. Simpson of Penn State University.
http://www.math.psu.edu/simpson/papers/philmath/node6.html
(Added: Fri Jul 28 2006)
- Page 030 - Section 1.3
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 032 - Section 1.3
Charles S. Pierce Studies -- Further information about Charles Peirce, his work and his numerous activities devoted to the study of his philosophy and writings, can be found here.
http://www.peirce.org/
(Added: Fri Jul 28 2006)
- Page 032 - Section 1.3
The Peirce Edition Project -- Information about Charles Peirce and his work and the numerous activities devoted to the study of his philosophy and writings can be found here.
http://www.iupui.edu/~peirce/web/desc/desc.htm
(Added: Fri Jul 28 2006)
- Page 032 - Section 1.3
Charles Sanders Peirce -- A biography of Peirce can be found at the MacTutor History of Mathematics Archive at the University of St. Andrews, Scotland.
http://www-history.mcs.st-and.ac.uk/history/Mathematicians/Peirce_Charles.html
(Added: Fri Jul 28 2006)
- Page 033 - Section 1.3
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 035 - Section 1.3
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)
| |
Pages: [<<] 1 2 3 4 [>>] | |
