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