無料掲示板とチャット、日記やブログのレンタルを行っています

WWWを検索 odp.net4u.orgを検索

Top: Science: Math: Logic_and_Foundations: Computability:

See also:

• Computers: Computer Science  (2,214)
• Computers: Computer Science: Theoretical: Complexity Theory  (158)

» Bibliographic Database for Computability Theory - Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.




» Church-Turing Thesis - Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.




» Computability and Complexity - An online course on complexity.




» Computability and Complexity in Analysis Network - The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.




» Computability Logic - Wictionary - A dictionary definition of the subject.




» Computability Theory - Directory of researchers working in computability theory, and list of open problems.




» Hypercomputation Research Network - The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.




» Interactive Computation - Wikipedia article.




» Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998.




» Open Questions in Recursion Theory - Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].




» Problem Solving Environments Home Page - This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.

Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web