Searchalot
 

Internet Directory - Top : Computers : Computer Science : Theoretical

Top : Computers : Computer Science : Theoretical (346 web sites)
Asynchronous Computability
Automata Theory
Complexity Theory
Computability
Conferences
Formal Language Theory
Forums and Networks
Information Theory
Journals
Organizations  
People
Quantum Computing
Quines
Research Groups
Software
 Related Categories
Computers: Algorithms
Science: Math: Combinatorics
Science: Math: Geometry: Computational_Geometry
Science: Math: Applications: Communication_Theory: Cryptography
Science: Math: Logic_and_Foundations
 Related Web Pages

Theoretical Computer Science on the Web
A directory of resources related to theoretical computer science from Stanford University.
http://ai.stanford.edu/~suresh/theory/theory-home.html

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/

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

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://sites.google.com/site/searchtcs/

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