Изменения

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

Обсуждение:Теорема Райса-Шапиро

214 байт добавлено, 16:08, 10 января 2015
Нет описания правки
{{Определение|definition='''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в A<tex>A</tex>.}}
Slavian
497
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/43992»

Навигация