Sponsorzy katalogu:
Centrum Rezerwacji Hoteli. Internetowy system umozliwiający dokonanie rezerwacji z natychmiastowym potwierdzeniem w ponad 500 hotelach w całej Polsce. Hotele Warszawa, hotele w Krakowie, Poznaniu, Wrocławiu i wielu innych mistach w Polsce po bardzo konkurencyjnych cenach.
Centralny System Rezerwacji Online oferuje rezerwację hoteli w całej Polsce po bezkonkurencyjnych cenach. Odwiedź www.hotele.pl i rezerwuj hotele w Polsce po super cenach !
System rezerwacji hoteli w Polsce. Szybka i intuicyjna rezerwacja, bezpieczna płatność online kartami kredytowymi i przelewami. Rezerwuj hotele w całej Polsce. W ofercie kilkaset hoteli, zarówno tych luksusowych, jak i tanich hoteli turystycznych.
| | |
Tytuł strony: Bibliographic Database for Computability Theory
Opis strony: Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
Adres: http://www.nd.edu/~cholak/computability/bib/bib.html
Tytuł strony: Church-Turing Thesis
Opis strony: Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
Adres: http://plato.stanford.edu/entries/church-turing/
Tytuł strony: Computability and Complexity
Opis strony: An online course on complexity.
Adres: http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
Tytuł strony: Computability and Complexity in Analysis Network
Opis strony: The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.
Adres: http://www.cca-net.de/
Tytuł strony: Computability Logic - Wictionary
Opis strony: A dictionary definition of the subject.
Adres: http://en.wiktionary.org/wiki/Computability_logic
Tytuł strony: Computability Theory
Opis strony: Directory of researchers working in computability theory, and list of open problems.
Adres: http://www.nd.edu/~cholak/computability/computability.html
Tytuł strony: Hypercomputation Research Network
Opis strony: 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.
Adres: http://www.hypercomputation.net/
Tytuł strony: Interactive Computation
Opis strony: Wikipedia article.
Adres: http://en.wikipedia.org/wiki/Interactive_computation
Tytuł strony: Introduction to Logic and Recursion Theory
Opis strony: Notes from the class taught by Prof. Sacks in the Spring of 1998.
Adres: http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Tytuł strony: Open Questions in Recursion Theory
Opis strony: Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
Adres: http://math.berkeley.edu/~slaman/qrt/
Tytuł strony: Problem Solving Environments Home Page
Opis strony: This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
Adres: http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
Cytat dnia:
Najważniejszą godziną jest zawsze ta obecna! Najważniejszym człowiekiem jest zawsze ten, który akurat stoi przede mną! Dziełem najkonieczniejszym jest zawsze miłość!!
|
Search the Computability category
Powered by the Free PHP ODP Script
Serwery