Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Computers:   Computer Science:   Theoretical

Category:

Research Groups Journals People Conferences Forums and Networks Organizations

Related Caregory:

Quantum Computing Complexity Theory

See Olso:

Asynchronous Computability Software Automata Theory

Other Category:

Computers: Algorithms Science: Math: Logic and Foundations Science: Math: Combinatorics Science: Math: Applications: Communication Theory: Cryptography Science: Math: Geometry: Computational Geometry

Sites:

Theory of Computation  - http://www.cs.bu.edu/fac/lnd/toc/  Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.  Church-Turing Thesis  - http://en.wikipedia.org/wiki/Church-Turing_thesis  Wikipedia article.  Computability Theory  - http://en.wikipedia.org/wiki/Computability_theory  Wikipedia article.  Interactive Computation  - http://en.wikipedia.org/wiki/Interactive_computation  Wikipedia article.  Computability Logic  - http://www.cis.upenn.edu/~giorgi/cl.html  Main web source on the subject: overview, downloadable articles, links.  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.