Опубликован: 25.02.2009 | Доступ: свободный | Студентов: 1326 / 170 | Оценка: 4.40 / 4.29 | Длительность: 01:48:00
Специальности: Программист
Лекция 2:

Проблема остановки и возможность ее решения

< Лекция 1 || Лекция 2
Аннотация: В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
< Лекция 1 || Лекция 2