- Theory of Computation - http://www.cs.bu.edu/fac/lnd/toc/
- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
- Church-Turing Thesis - http://en.wikipedia.org/wiki/church-turing_thesis
- Computability Theory - http://en.wikipedia.org/wiki/computability_theory
- Interactive Computation - http://en.wikipedia.org/wiki/interactive_computation
- Computability Logic - http://www.cis.upenn.edu/~giorgi/cl.html
- Main web source on the subject: overview, downloadable articles, links.
- 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.
- Introduction to Formal Models in Computer Science - http://www.cs.washington.edu/education/courses/322/06sp/
- Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.
- 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.
- 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.
- Theoretical Computer Science Search Engine - http://searchtcs.googlepages.com/
- A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
- Rusty Spigot Computer Science Notes - http://www.rustyspigot.com/computer_science/
- Notes on a range of computer science subjects, from the Cambridge undergraduate course.
|
