Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150518 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Computability and unsolvability
Autor: Davis Martin
Rok: 1982
ISBN: 9780486614717
OKCZID: 110065131
Vydání: First published
Citace (dle ČSN ISO 690):
DAVIS, Martin. Computability and unsolvability. First published. New York: Dover Publications, Inc., 1982. xxv, 248 stran.
Hodnocení:
4.5 / 5
(6 hlasů)
Anotace
Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.