| | - Theoretical Computer Science
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/
|
| |
- Rusty Spigot Computer
Rusty Spigot Computer Science Notes Notes on a range of computer science subjects, from the Cambridge undergraduate course. ...
http://www.rustyspigot.com/Computer_Science/
|
| |
|
- The Introduction to Formal
Founded in 1861, the University of Washington has 43,000 students 31,000 undergraduate and 12,000 graduateprofessional and 3,400 instructional faculty divided into 17 schools and colleges. The Universitys annual operating budget is roughly $2.7 billi ...
http://www.cs.washington.edu/education/courses/322/06sp/
| | |
| |
- Theory of Computation Lecture
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. ...
http://www.cs.bu.edu/fac/lnd/toc/
|
| |
- The Interactive Computation
Interactive computation involves communication with the external world during the computation. This is in contrast to the traditional understanding of computation which assumes a simple interface between a computing agent and its environment, consist ...
http://en.wikipedia.org/wiki/Interactive_computation
| | - Church Turing Thesis
Wikipedia pronounced is a multilingual, Webbased, freecontent encyclopedia project. The name Wikipedia is a portmanteau of the words wiki a type of collaborative Web site and encyclopedia. Wikipedias articles provide links to guide the user to relate ...
http://en.wikipedia.org/wiki/Church-Turing_thesis
|
| |
- 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/
| | - Lecture Notes on Theory
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
|
| |
- Wikipedia article
Wikipedia pronounced is a multilingual, Webbased, freecontent encyclopedia project. The name Wikipedia is a portmanteau of the words wiki a type of collaborative Web site and encyclopedia. Wikipedias articles provide links to guide the user to relate ...
http://en.wikipedia.org/wiki/Computability_theory
| | - The Computability Logic
Computability is certainly one of the most interesting and fundamental concepts in mathematics and computer science, and it would be more than natural to ask what logic it induces. Let us face it: this question has not only never been answered, but n ...
http://www.cis.upenn.edu/~giorgi/cl.html
|
| |
Automata Science Theory
