Изменения

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

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

28 байт добавлено, 11:37, 12 декабря 2016
м
Т-степени
{{Определение
|definition=
'''Тьюринговым скачком <tex>T</tex>-степени <tex>d</tex>''' (англ. ''Turing jump'') называется <tex>T</tex>-степень языка <tex>H^L</tex>, где <tex>L</tex> — произвольный язык в <tex>d</tex>.
}}
177
правок

Навигация