HSE-AMCS-DM2-26-Lect-14

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

0/0


0/0

0/0

0/0

0/0