jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Computability
Directory > Science > Math > Logic and Foundations > Computability

Web Sitesi

Introduction to Logic and Recursion Theory
Notes from the class taught by Prof. Sacks in the Spring of 1998.
http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Reviews Rating: Not yet Rated Whois Check

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

http://plato.stanford.edu/entries/church-turing/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.hypercomputation.net/
Reviews Rating: Not yet Rated Whois Check

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

http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
Reviews Rating: Not yet Rated Whois Check

Computability and Complexity
An online course on complexity.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
Reviews Rating: Not yet Rated Whois Check

Bibliographic Database for Computability Theory
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
http://www.nd.edu/~cholak/computability/bib/bib.html
Reviews Rating: Not yet Rated Whois Check

Computability Theory
Directory of researchers working in computability theory, and list of open problems.
http://www.nd.edu/~cholak/computability/computability.html
Reviews Rating: Not yet Rated Whois Check

ECCC - Electronic Colloquium on Computational Complexity
The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread
interchange of ideas, techniques, and research in computational complexity. The Electronic
Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with
relevance to the theory of computation

http://www.eccc.uni-trier.de/eccc/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia