Search:
Go
English
Deutsch
Français
Japanese
Chinese Simplified
Chinese Traditional
Korean
Russian
Arabic
Česky
Greek
Italiano
Afrikaans
Aragonés
Armenian
Asturianu
Azerbaijani
Bahasa Indonesia
Bahasa Melayu
Bangla
Bashkir
Belarusian
Bosanski
Brezhoneg
Bulgarian
Català
Cymraeg
Dansk
Eesti
Español
Esperanto
Euskara
Frysk
Furlan
Føroyskt
Gaeilge
Gàidhlig
Galego
Gujarati
Hebrew
Hindi
Hrvatski
Interlingua
Íslenska
Kannada
Kaszëbsczi
Kazakh
Kiswahili
Kurdî
Kyrgyz
Latviski
Lëtzebuergesch
Lietuvių
Lingua Latina
Magyar
Makedonski
Marathi
Nederlands
Nordfriisk
Norsk
O'zbekcha
Occitan
Ossetian
Persian
Polski
Português
Punjabi Gurmukhi
Română
Rumantsch
Sardu
Seeltersk
Shqip
Sicilianu
Sinhala
Slovensko
Slovensky
Srpski
Suomi
Svenska
Tagalog
Taiwanese
Tamil
Tatarça
Telugu
Thai
Tiếng Việt
Türkçe
Türkmençe
Ukrainian
Urdu
Uyghurche
DMOZ Internet Directory
Presented by
DMOZLive.com
Home
About
Submit Site
Tweet
Home
Computers
Computer Science
Theoretical
292 Sites
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.
Categories
Asynchronous Computability
No sub-categories
2 Sites
Automata Theory
Finite State Automata, Finite State Transducers, ...
32 Sites
Complexity Theory
Conferences, People, Publications
116 Sites
Conferences
No sub-categories
5 Sites
Formal Language Theory
Context Free Languages, Context Sensitive Languages, ...
25 Sites
Forums and Networks
No sub-categories
4 Sites
Journals
No sub-categories
13 Sites
Organizations
No sub-categories
1 Sites
People
Mailing Lists and Name Directories, Students
28 Sites
Quantum Computing
People, Research Groups, ...
41 Sites
Research Groups
No sub-categories
13 Sites
Software
No sub-categories
2 Sites
Sites
[ Submit ]
Theory of Computation
- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
Church-Turing Thesis
- Wikipedia article.
Computability Theory
- Wikipedia article.
Interactive Computation
- Wikipedia article.
Computability Logic
- Main web source on the subject: overview, downloadable articles, links.
Theoretical Computer Science on the Web
- A directory of resources related to theoretical computer science from Stanford University.
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.
CSCI 0510 Models of Computation
- Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
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.
Click
[ Submit ]
above to Add a New Site, Update a Site, or Remove a Site from this Category.
See Also
Algorithms
Computers
261 Sites
Logic and Foundations
Science : Math
584 Sites
Combinatorics
Science : Math
328 Sites
Cryptography
Math : Applications : Communication Theory
190 Sites
Computational Geometry
Science : Math : Geometry
53 Sites
Information Theory
Science : Math : Applications
53 Sites
Computability
Science : Math : Logic and Foundations
7 Sites
This directory is made available through a Creative Commons Attribution license from the
DMOZ Organization.