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 2895566 obálek a 875351 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)

Rok: 1985
ISBN: 9780486614717
OKCZID: 110065131

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

Upravit anotaci
 

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.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)