Математическая логика и теория алгоритмов 8. Вычислимая функция. Разрешимые и перечислимые множества

Таймкоды: 00:00:00 - Интро 00:00:05 - Машина Тьюринга 00:02:12 - Вычислимая функция 00:05:15 - Разрешимое множество 00:07:13 - Утверждение (Разрешимость объединения, пересечения и дополнение разрешимых множеств) 00:08:20 - Утверждение (Возможность перечислить по возрастанию разрешимый А) 00:13:00 - Перечислимые множества 00:14:35 - Утверждение (Разрешимость конечного множества) 00:16:07 - Теорема (Существование перечислимого, но не разрешимого множества) 00:18:55 - Утверждение (Разрешимость перечислимого по возрастанию А) 00:20:20 - Утверждение (Перечислимость объединения и пересечения перечислимых множеств) 00:23:57 - Теорема (свойства, эквивалентные перечислимости) 00:51:36 - Теорема Поста (Критерий разрешимости) 00:55:55 - Архитектура компьютера 00:59:00 - Универсальная машина Тьюринга 01:02:20 - Универсальная вычислимая функция 01:06:07 - Проблемы самоприменимости и остановки, Теорема о 01:07:50 - Теорема (пример перечислимых, но не разрешимых множеств) Дата лекции: 11.03.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_240