Дата лекции: 13.03.24
Лектор: Зухба Анастасия Викторовна
Оператор: Дмитрий Достовалов
Редактор: Илья Оплачкин
Сайт ВШПИ: [ Ссылка ]
Чат абитуриентов в telegram: [ Ссылка ]
Сообщество ВШПИ в VK: [ Ссылка ]
00:00 - Начало
02:15 - Модуль отладчика
03:30 - Проблема остановки
25:30 - Функция «занятого бобра» - Функция Радо
32:30 - Теорема о невычислимости функции Радо
44:35 - Пример
56:40 - Проблема вычислимости МТ
Ещё видео!