больше 1 года назад
Лекция -1.
Проблема остановки и возможность ее решения
18 подписчиков
В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
Сайт: https://www.intuit.ru