MetaDirectory
|
|
|
|
|
See also:
- Computers: Algorithms (327)
- Science: Math: Applications: Communication Theory: Cryptography (287)
- Science: Math: Combinatorics (447)
- Science: Math: Geometry: Computational Geometry (61)
- Science: Math: Logic and Foundations (820)
- Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
- Church-Turing Thesis
Wikipedia article. - Computability Logic
Main web source on the subject: overview, downloadable articles, links. - Computability Theory
Wikipedia article. - CSCI 0510 Models of Computation
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. - Interactive Computation
Wikipedia article. - Introduction to Formal Models in Computer Science
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism. - Lecture Notes on Theory of Computation
Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. - Theoretical Computer Science Search Engine
A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers. - Theory of Computation
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
|