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.
年:
1985
出版:
New edition
出版社:
Dover Publications
语言:
english
页:
235
ISBN 10:
0486614719
ISBN 13:
9780486614717
系列:
Mcgraw-Hill Series in Information Processing and Computers.
文件:
PDF, 7.17 MB
IPFS:
,
english, 1985