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