4. Задача распознавания выводимости

С задачей эквивалентности двух слов в ассоциативном исчислении тесно связана задача распознавания выводимости, которая является одной из важнейших задач математической логики.

Задача распознавания выводимости состоит в следующем:

для любых двух слов (формул) S и T в логическом исчислении определить выводима ли формула T из формулы S.

Эта задача также алгоритмически неразрешима.

Контрольные вопросы.

1. Необходимость оценки алгоритмов.

2. Пространственная эффективность программ.

3. Временная эффективность программ.

4. Способы оценки алгоритмов.

5. Виды функций оценки.

6. Практические алгоритмы.

7. NP-полные алгоритмы.

8. Алгоритмически неразрешимые задачи.

9. Труднорешаемые задачи.

10. Примеры алгоритмически неразрешимых задач.