Математическая логика и теория алгоритмов 13. Построение не главной УВФ, m-сводимость

00:00:00 - Начало 00:00:47 - Теорема Райса-Успенского 00:02:50 - Пример (построение НЕ главной УВФ) 00:15:40 - Следствие (существуют НЕ главные УВФ) 00:16:10 - Другое доказательство теоремы Райса-Успенского 00:32:30 - Определение m-сводимости 00:36:40 - Лемма (о свойствах m-сводимости) 00:49:20 - Существует неперечислимое множество из чётных элементов 00:54:40 - Примеры применения m-сводимости Дата лекции: 30.04.2025 Лектор: Дашков Евгений Владимирович Оператор: Фазлеев Ян Монтажёр: Фазлеев Ян Ссылка на плейлист Ссылка на плейлист Ютуб: https://www.youtube.com/playlist?list=PL4_hYwCyhAvavQI9DuD0BYtoUpYDpmorS