Directory: Top/Computers/Computer

Top / Computers / Computer_Science / Theoretical /

Theory of Computation
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
http://www.cs.bu.edu/fac/lnd/toc/
Bu.edu ~ Site Info Whois Trace Route RBL Check

Church-Turing Thesis
Wikipedia article.
http://en.wikipedia.org/wiki/Church-Turing_thesis
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

Computability Theory
Wikipedia article.
http://en.wikipedia.org/wiki/Computability_theory
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

Interactive Computation
Wikipedia article.
http://en.wikipedia.org/wiki/Interactive_computation
Wikipedia.org ~ Site Info Whois Trace Route RBL Check

Computability Logic
Main web source on the subject: overview, downloadable articles, links.
http://www.cis.upenn.edu/~giorgi/cl.html
Upenn.edu ~ Site Info Whois Trace Route RBL Check

Theoretical Computer Science on the Web
A directory of resources related to theoretical computer science from Stanford University.
http://ai.stanford.edu/~suresh/theory/theory-home.html
Stanford.edu ~ Site Info Whois Trace Route RBL Check

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.
http://www.cs.washington.edu/education/courses/322/06sp/
Washington.edu ~ Site Info Whois Trace Route RBL Check

CSCI 0510 Models of Computation
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
http://www.cs.brown.edu/courses/csci0510/
Brown.edu ~ Site Info Whois Trace Route RBL Check

Lecture Notes on Theory of Computation
Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory.
http://www.jn.inf.ethz.ch/education/index.html
Ethz.ch ~ Site Info Whois Trace Route RBL Check

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.
http://searchtcs.googlepages.com/
Googlepages.com ~ Site Info Whois Trace Route RBL Check