|
| 1. | Theoretical Computer Science on the Web - http://ai.stanford.edu/~suresh/theory/theory-home.html |
| A directory of resources related to theoretical computer science from Stanford University. |
|
|
| 2. | Church-Turing Thesis - http://en.wikipedia.org/wiki/Church-Turing_thesis |
| Wikipedia article. |
|
|
| 3. | Computability Theory - http://en.wikipedia.org/wiki/Computability_theory |
| Wikipedia article. |
|
|
| 4. | Computability Logic - http://www.cis.upenn.edu/~giorgi/cl.html |
| Main web source on the subject: overview, downloadable articles, links. |
|
|
| 5. | Interactive Computation - http://en.wikipedia.org/wiki/Interactive_computation |
| Wikipedia article. |
|
|
| 6. | CSCI 0510 Models of Computation - http://www.cs.brown.edu/courses/csci0510/ |
| Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. |
|
|
| 7. | Lecture Notes on Theory of Computation - http://www.jn.inf.ethz.ch/education/index.html |
| Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. |
|
|
| 8. | Rusty Spigot Computer Science Notes - http://www.rustyspigot.com/Computer_Science/ |
| Notes on a range of computer science subjects, from the Cambridge undergraduate course. |
|
|
| 9. | Theoretical Computer Science Search Engine - http://sites.google.com/site/searchtcs/ |
| A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers. |
|
|
| 10. | Theory of Computation - http://www.cs.bu.edu/fac/lnd/toc/ |
| Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. |
|
