Contents  > Computers  > Computer Science  > Theoretical

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. http://en.wikipedia.org/wiki/Church-Turing_thesis

  Computability Logic Main web source on the subject: overview, downloadable articles, links. http://www.cis.upenn.edu/~giorgi/cl.html

  Computability Theory Wikipedia article. http://en.wikipedia.org/wiki/Computability_theory

  CSCI 0510 Models of Computation Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. http://www.cs.brown.edu/courses/csci0510/

  Interactive Computation Wikipedia article. http://en.wikipedia.org/wiki/Interactive_computation

  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. http://www.cs.washington.edu/education/courses/322/06sp/

  Lecture Notes on Theory of Computation Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. http://www.jn.inf.ethz.ch/education/index.html

  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. http://searchtcs.googlepages.com/

  Theory of Computation Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. http://www.cs.bu.edu/fac/lnd/toc/