|
|
|
|
|
See also:
- Computers: Algorithms (329)
- Science: Math: Applications: Communication Theory: Cryptography (287)
- Science: Math: Combinatorics (449)
- Science: Math: Geometry: Computational Geometry (61)
- Science: Math: Logic and Foundations (819)
| » Theoretical Computer Science on the Web |
| » 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. |
|
Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web