Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Обсуждение:Теорема Райса-Шапиро
1 байт добавлено
,
16:10, 10 января 2015
Нет описания правки
{{Определение
|definition=
'''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в <tex>A</tex>
)
.
}}
Slavian
497
правок
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати