Математическая логика и теория алгоритмов 10. Эквивале

00:00:00 - Начало 00:00:40 - Теорема (о графике) и следствия из неё 00:20:00 - Определение полухарактеристической функции множества 00:23:20 - Определение полуразрешимого множества 00:25:05 - Теорема (о связи полуразрешимости и перечислимости множества) 00:28:00 - Теорема (об эквивалентном условии перечислимости) 00:38:15 - Теорема (эквивалентные определения перечислимости) 00:57:10 - Определение универсальной вычислимой функции 01:00:57 - Определение сечения по аргументу 01:05:55 - Утверждение (о вычислимости сужения) 01:10:05 - Определение универсального алгоритма 01:13:28 - Определение Т-предикатов 01:22:07 - Утверждение (о неразрешимости проблемы самоприменимости) Дата лекции: 09.04.2025 Лектор: Дашков Евгений Владимирович Оператор: Фазлеев Ян Монтажёр: Фазлеев Ян Ссылка на плейлист ВК: https://vkvideo.ru/playlist/-206078025_117 Ссылка на плейлист Ютуб: https://www.youtube.com/playlist?list=PL4_hYwCyhAvavQI9DuD0BYtoUpYDpmorS