Изменения

Перейти к: навигация, поиск

M-сводимость

117 байт добавлено, 12:21, 12 декабря 2016
м
→‎Отношение эквивалентности
|statement=
Отношение сводимости является отношением эквивалентности
|proof= Следует из рефлексивности, разрешимости и транзитивности.
}}
 
== Применение ==
{{Лемма
Ateuhh
177
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/57642»

Навигация