Directory of Theoretical Resources

Home > Computers > Computer Science > Theoretical

Theoretical Computer Science is the mathematical foundation of computing in all its forms. By being the foundation, it is also the starting point for new and more efficient methodologies of computation.

Subcategories

• 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

Resources in This Category

• Church-Turing Thesis

  http://en.wikipedia.org/wiki/Church-Turing_thesis
  Wikipedia article.

• Computability Logic

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

• Computability Theory

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

• CSCI 0510 Models of Computation

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

• Interactive Computation

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

• Introduction to Formal Models in Computer Science

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

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

• Theoretical Computer Science on the Web

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

• Theoretical Computer Science Search Engine

  http://sites.google.com/site/searchtcs/
  A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers.

• Theory of Computation

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

Related Categories

• Home > Computers > Algorithms
• Home > Science > Math > Logic and Foundations
• Home > Science > Math > Combinatorics
• Home > Science > Math > Applications > Communication Theory > Cryptography
• Home > Science > Math > Geometry > Computational Geometry

 

Home > Computers > Computer Science > Theoretical

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us