Изменения

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

Теорема Райса-Шапиро

10 байт добавлено, 01:09, 16 января 2017
м
Нет описания правки
Райса-Шапиро
|statement=
Свойство языков <tex>A</tex> перечислимо <tex>\iff \exists\Gamma : L \in A \iff L \subseteq \Gamma .</tex>
}}
Romanosov
192
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/59719»

Навигация