 | | Home : Math : Higher Mathematics : Discrete Mathematics : Rosen, Discrete Mathematics and Its Applications, 6th Edition : Chapter 12 : Page 2 | | LINKS: |  | |
Pages: [<<] 1 2 | - Page 826 - Section 12.4
MacTutor History of Mathematics Archive, University St. Andrews, Scotland -- A biography and photograph of Alan Turing can be found here.
http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Turing.html
(Added: Fri Jul 28 2006)
- Page 827 - Section 12.4 Exercise #22
Pumping lemma -- To learn more about the pumping lemma, consult the Wikipedia page here.
http://en.wikipedia.org/wiki/Pumping_lemma
(Added: Fri Jul 28 2006)
- Page 827 - Section 12.4 Exercise #22
The Pumping Lemma -- To find more about the pumping lemma, including a description in poetic form, go here.
http://users.comlab.ox.ac.uk/luke.ong/teaching/moc/pump2up.pdf
(Added: Fri Jul 28 2006)
- Page 827 - Section 12.5
Turing Machines -- Consult this article in the Stanford Encyclopedia of Philosophy to learn more about Turing machines.
http://plato.stanford.edu/entries/turing-machine/
(Added: Fri Jul 28 2006)
- Page 833 - Section 12.5
The Church-Turing Thesis -- Information about the Church-Turing can be found here.
http://plato.stanford.edu/entries/church-turing/
(Added: Fri Jul 28 2006)
- Page 835 - Section 12.5
Computability and Complexity -- To learn more about the concepts of computability, unsolvability, and complexity, consult this article in the Stanford Encyclopedia of Philosophy here.
http://plato.stanford.edu/entries/computability/
(Added: Fri Jul 28 2006)
- Page 836 - Section 12.5
MacTutor History of Mathematics Archive, University St. Andrews, Scotland -- A biography and photograph of Alonzo Church can be found here.
http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Church.html
(Added: Fri Jul 28 2006)
- Page 838 - Section 12.5 Exercises
Busy Beaver Turing Machine -- Information about busy beaver Turing machines can be found at Michael Somos's page here.
http://grail.cba.csuohio.edu/~somos/bb.html
(Added: Fri Jul 28 2006)
- Page 838 - Section 12.5 Exercises
Heiner Marxen - Busy Beaver -- An excellent site that presents the currently best known results about busy beaver Turing machines is found at Heiner Marxen's page.
http://www.drb.insel.de/~heiner/BB/
(Added: Fri Jul 28 2006)
| |
Pages: [<<] 1 2 | |
