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

Материал из Викиконспекты
Перейти к: навигация, поиск
 
(не показаны 4 промежуточные версии 2 участников)
Строка 1: Строка 1:
:{{tick}} Изменить определения в начале статьи так, чтобы они соответствовали изложению, которое было на лекциях.
+
{{Определение
:{{tick}} Добавить перечислитель в доказательстве теоремы в прямую сторону.
+
|definition=
:{{tick}} Вспомогательные леммы в доказательстве в обратную сторону изложены довольно сумбурно. Переписать.
+
'''Язык <tex>L</tex> удовлетворяет свойству <tex>A</tex>''', если <tex>L \in A</tex>. ( этот язык содержится в <tex>A</tex>).
--[[Участник:Sementry|Мейнстер Д.]] 21:22, 19 декабря 2012 (GST)
+
}}

Текущая версия на 16:10, 10 января 2015

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