Computability and unsolvability
Martin Davis
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.
Kategoriler:
Yıl:
1985
Baskı:
New edition
Yayımcı:
Dover Publications
Dil:
english
Sayfalar:
235
ISBN 10:
0486614719
ISBN 13:
9780486614717
Seriler:
Mcgraw-Hill Series in Information Processing and Computers.
Dosya:
DJVU, 1.73 MB
IPFS:
,
english, 1985