Reference.com Web Directory

Top » Computers » Computer Science » Theoretical

Categories

Asynchronous Computability (5)
Automata Theory (34)
Complexity Theory (158)
Conferences (6)
Formal Language Theory (28)
Forums and Networks (4)
Journals (14)
Organizations (2)
People (35)
Quantum Computing (54)
Research Groups (15)
Software (3)

Web Sites

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.

Other Categories

Computability (11)
Information Theory (61)
Quines (3)

See Also

Algorithms (327)
Cryptography (282)
Combinatorics (448)
Computational Geometry (62)
Logic and Foundations (819)