Обсуждение:Теорема Райса-Шапиро — различия между версиями
Slavian (обсуждение | вклад) |
Slavian (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
{{Определение | {{Определение | ||
|definition= | |definition= | ||
| − | '''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в | + | '''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в <tex>A</tex>. |
}} | }} | ||
Версия 16:09, 10 января 2015
| Определение: |
| Язык удовлетворяет свойству , если . ( этот язык содержится в . |
