13
почти 2 года назад
Лекция -1. Проблема остановки и возможность ее решения
41 подписчик
Возраст: 0+
Язык: Русский

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

Сайт: https://www.intuit.ru