Research Institutes

Introduction to Formal Models in Computer Science 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 a… Theoretical Computer Science on the Web Theoretical Computer Science on the Web- A directory of resources related to theoretical computer science from Stanford University. Computability Logic Computability Logic- Main web source on the subject: overview, downloadable articles, links. Interactive Computation Interactive Computation- Wikipedia article. Computability Theory Computability Theory- Wikipedia article. Church-Turing Thesis Church-Turing Thesis- Wikipedia article. Theory of Computation Theory of Computation- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.