Theoretical (Computer Science)

Theoretical further on these related pages:

Asynchronous Computability Automata Theory Complexity Theory Computability@ Conferences Forums and Networks Information Theory@

Journals Organizations People Quantum Computing Quines@ Research Groups Software

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

Theoretical Sites:

Computability Logic Computability Logic: Main web source on the subject: overview, downloadable articles, links. (Theoretical) http://www.cis.upenn.edu/~giorgi/cl.html Church-Turing Thesis Church-Turing Thesis: Wikipedia article. (Theoretical) http://en.wikipedia.org/wiki/Church-Turing_thesis Computability Theory Computability Theory: Wikipedia article. (Theoretical) http://en.wikipedia.org/wiki/Computability_theory Theoretical Computer Science on the Web Theoretical Computer Science on the Web: A directory of resources related to theoretical computer science from Stanford University. (Theoretical) http://robotics.stanford.edu/~suresh/theory/theory-home.html Interactive Computation Interactive Computation: Wikipedia article. (Theoretical) http://en.wikipedia.org/wiki/Interactive_computation Theory of Computation Theory of Computation: Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. (Theoretical) http://www.cs.bu.edu/fac/lnd/toc/ An Introduction to the Theory of Computation An Introduction to the Theory of Computation: An online text aimed at advanced undergraduate and graduate students. (Theoretical) http://www.cis.ohio-state.edu/~gurari/theory-bk/theory-bk.html