web nectar - Theoretical

Theoretical

Wectar: Computers: Computer Science: Theoretical

submit a site to this category

Subcategories
Asynchronous Computability	Automata Theory	Complexity Theory	Computability@	Conferences	Formal Language Theory
Forums and Networks	Information Theory@	Journals	Organizations	People	Quantum Computing
Quines@	Research Groups	Software

	Computability Logic Homepage URL: http://www.cis.upenn.edu/~giorgi/cl.html ODP description: Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. Page title: COMPUTABILITY LOGIC Homepage Page description: The recent approach called Computability Logic is a formal theory of computability in the same sense as classical logic is a formal theory of truth. The page is the basic Internet source of information on Computability Logic.
	Church-Turing Thesis URL: http://en.wikipedia.org/wiki/Church-Turing_thesis ODP description: Wikipedia article. Page title: Church?Turing thesis - Wikipedia, the free encyclopedia
	Theory of Computation URL: http://www.cs.bu.edu/fac/lnd/toc/ ODP description: Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. Page title: L. Levin. Theory of Computation.
	Theoretical Computer Science on the Web URL: http://ai.stanford.edu/~suresh/theory/theory-home.html ODP description: A directory of resources related to theoretical computer science from Stanford University.
	Interactive Computation URL: http://en.wikipedia.org/wiki/Interactive_computation ODP description: Wikipedia article. Page title: Interactive computation - Wikipedia, the free encyclopedia
	Theoretical Computer Science Search Engine URL: http://searchtcs.googlepages.com/ ODP description: A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers. Page title: searchtcs - Theoretical Computer Science SearchÂ
	CSCI 0510 Models of Computation URL: http://www.cs.brown.edu/courses/csci0510/ ODP description: Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. Page title: CS051 - Models of Computation
	Computability Theory URL: http://en.wikipedia.org/wiki/Computability_theory ODP description: Wikipedia article. Page title: Computability theory - Wikipedia, the free encyclopedia
	Lecture Notes on Theory of Computation URL: http://www.jn.inf.ethz.ch/education/index.html ODP description: Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. Page title: Algorithms, Data Structures, and Applications - Nievergelt > Education
	Introduction to Formal Models in Computer Science URL: http://www.cs.washington.edu/education/courses/322/06sp/ ODP description: Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism. Page title: CSE 322: Introduction to Formal Models in Computer Science, Spring 2006

Found what you where looking for? Please help others to find the basic necessities:

Support the work of the D-Foundation

Thumbnails by	Information based on the Open Directory Project	search powered by
	Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor