Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Полнота и непротиворечивость
льный ответ на третий вопрос.
С другой стороны модель МТ приводит к тезису Тьюрина: Любой алгоритм реализуется на МТ. Тогда из сводимости моделей следует Тезис Черча-Тьюринга: любая МТ есть реализация частично рекурсивной функции. Эти тезисы являются основой суждения о непротиворечивости теории. Итак, удалось получить равенство алгоритма и модели РФ, а значит и модели МТ.
ТЕОРИЯ СЛОЖНОСТИ
6.1. ПОНЯТИЕ О СЛОЖНОСТИ РЕШЕНИЯ ЗАДАЧ
Эффективный алгоритм. Существует огромное количество задач, включая задачи теории графов и сетей, теорию расписаний, оптимизацию программ, базы данных, игры и головоломки, для которых в настоящее время нет эффективных алгоритмов их решения.
Появление вычислительной
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
