HSE-AMCS-DM2-26-Lect-14

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