Davis M. — Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)
Автор: Davis M.
Аннотация:
Classic text considers general 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.
|
|
О проекте