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

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

Определение:

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

@@ Строка 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)
+}}