Математическая логика и теория алгоритмов 13. m-сводимость

Таймкоды: 00:00:00 - Начало 00:21:20 - Определение m-сводимости 00:23:50 - Лемма 1 (свойства m-сводимости) 00:35:10 - Лемма 2 (разрешимые множества сводятся к любому нетривиальному) 00:38:40 - Следствие 3 (не антисимметричность m-сводимости) 00:42:25 - Пример 1 построения неперечислимого множества 00:51:00 - Пример 2 01:08:08 - Пример 3 Дата лекции: 29.04.26 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист