Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Computability and unsolvability
Автор: Davis M.
Аннотация:
Классический текст considersgeneral теория вычислимости, вычислимые функции, операции на вычислимых функций, машины Тьюринга самостоятельно применяться, неразрешимых проблем принятия, применения общей теории, математической логике, Клини иерархия, вычислимые функционалы, классификация неразрешимых задач принятия решений и многое другое. <Бр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.