Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
Notes on a range of computer science subjects, from the Cambridge undergraduate course.
Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.
Main web source on the subject: overview, downloadable articles, links.
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.