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.
Файл:
DJVU, 1.73 MB
IPFS:
,
english, 1985