Опубликован: 25.02.2009 | Доступ: свободный | Студентов: 1329 / 171 | Оценка: 4.40 / 4.29 | Длительность: 01:48:00
Специальности: Программист
Теги:
Лекция 2:
Проблема остановки и возможность ее решения
< Лекция 1 || Лекция 2
Аннотация: В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
< Лекция 1 || Лекция 2