Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
12.07.2015 |
Математическая логика и теория алгоритмов |
Математика |
Язык: русский |
Просмотры: 63
