Обсуждение:Теорема Райса-Шапиро — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в A<tex>A</tex>.
+
'''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в <tex>A</tex>.
 
}}
 
}}

Версия 16:09, 10 января 2015

Определение:
Язык [math]L[/math] удовлетворяет свойству [math]A[/math], если [math]L \in A[/math]. ( этот язык содержится в [math]A[/math].