HSE-AMCS-DM2-26-Lect-14

Дискретная математика 2 во ВШЭ для ПМИ.
Темы: доказательство т.
Райса -- Успенского сведением m-сводимость и ее свойства m-полнота множества K относительно главной у.в.ф.
применение m-cводимости для построения неразрешимых неперечислимых множеств с заданными свойствами и для исследования индексных множеств.

Источник: rutube.ru