web directory
Home
Shopping
Local Search
Web Directory
Articles
Electronics
Computers
Jewelry
See all..
Shop for
Search Resources
Home
Web Directory
Local Search
Shopping Search
Articles
Theoretical
Home
/
Web Directory
/
Computers
/
Computer Science
/
Theoretical
Asynchronous Computability
Automata Theory
Complexity Theory
Conferences
Formal Language Theory
Forums and Networks
Journals
Organizations
People
Quantum Computing
Research Groups
Software
Additional Categories:
Quines
Sponsored Links
8 sites in Theoretical
Rusty Spigot Computer Science Notes
Notes on a range of computer science subjects, from the Cambridge undergraduate course.
www.rustyspigot.com/Computer_Science/
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.
searchtcs.googlepages.com/
CSCI 0510 Models of Computation
Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science.
www.cs.brown.edu/courses/csci0510/
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.
www.cs.washington.edu/education/courses/322/06sp/
Computability Logic
Main web source on the subject: overview, downloadable articles, links.
www.cis.upenn.edu/~giorgi/cl.html
Interactive Computation
Wikipedia article.
en.wikipedia.org/wiki/Interactive_computation
Church-Turing Thesis
Wikipedia article.
en.wikipedia.org/wiki/Church-Turing_thesis
Theory of Computation
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.
www.cs.bu.edu/fac/lnd/toc/
