Лекция 9. Машины Тьюринга | Математическая логика и теория алгоритмов.

Дата лекции: 03.04.26 Лектор: Зухба Анастасия Викторовна Оператор: Доронина Елизавета Редактор: Доронина Елизавета 00:00:00 - пример Машины Тьюринга 00:06:30 - конфигурации МТ 00:21:23 - вычислимая функция 00:28:34 - вычислимость и разрешимость 00:34:00 - кодирование и моделирование 00:49:40 - алгоритмически неразрешимые проблемы 01:10:39 - m-сводимость Сайт ВШПИ: https://hsse.mipt.ru