| Theory of Computation http://www.cs.bu.edu/fac/lnd/toc/ Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. | |
| 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. | |
| Rusty Spigot Computer Science Notes http://www.rustyspigot.com/Computer_Science/ Notes on a range of computer science subjects, from the Cambridge undergraduate course. | |
| 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. | |
| 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. | |
| Computability Logic http://www.cis.upenn.edu/~giorgi/cl.html Main web source on the subject: overview, downloadable articles, links. | |
| 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. | |
