Математическая логика и теория алгоритмов 11. Арифметическая иерархия

Таймкоды: 00:00:00 - Интро 00:00:05 - Арифметическая иерархия 00:08:25 - Классы арифметической иерархии (Сигма и Пи) 00:18:35 - Почему это иерархия 00:23:50 - Общее утверждение (о строгости вложенности) 00:26:40 - Утверждение 1 00:32:20 - Утверждение 2 00:42:10 - Утверждение 3 00:43:15 - m-полнота 00:47:00 - Пример 00:53:16 - Идея доказтельства теоремы о строгости вложенности 00:55:17 - Универсальное перечислимое множество (УПМ) 00:57:40 - Утверждение (область определения УВФ - УПМ) Дата лекции: 01.04.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажёр: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_240