|
Computers: Algorithms [305]
Science: Math: Applications: Communication Theory: Cryptography [260]
Science: Math: Combinatorics [437]
Science: Math: Geometry: Computational Geometry [63]
Science: Math: Logic and Foundations [758]
Theoretical Computer Science on the Web  [Preview]
A directory of resources related to theoretical computer science from Stanford University.
url: ai.stanford.edu/~suresh/theory/theory-home.html
Church-Turing Thesis [Preview]
Wikipedia article.
url: en.wikipedia.org/wiki/Church-Turing_thesis
Computability Logic [Preview]
Main web source on the subject: overview, downloadable articles, links.
url: www.cis.upenn.edu/~giorgi/cl.html
Computability Theory [Preview]
Wikipedia article.
url: en.wikipedia.org/wiki/Computability_theory
CSCI 0510 Models of Computation [Preview]
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
url: www.cs.brown.edu/courses/csci0510/
Interactive Computation [Preview]
Wikipedia article.
url: en.wikipedia.org/wiki/Interactive_computation
Introduction to Formal Models in Computer Science [Preview]
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.
url: www.cs.washington.edu/education/courses/322/06sp/
Lecture Notes on Theory of Computation [Preview]
Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
url: www.jn.inf.ethz.ch/education/index.html
Rusty Spigot Computer Science Notes [Preview]
Notes on a range of computer science subjects, from the Cambridge undergraduate course.
url: www.rustyspigot.com/Computer_Science/
Theoretical Computer Science Search Engine [Preview]
A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.
url: sites.google.com/site/searchtcs/
Theory of Computation [Preview]
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
url: www.cs.bu.edu/fac/lnd/toc/
|
