Изменения

Перейти к: навигация, поиск

Теорема Райса-Шапиро

52 байта добавлено, 22:06, 23 января 2012
м
Правильные угловые скобки
{{Определение
|definition=
Пусть <tex>\gamma=\{<\langle x_1,y_1>\rangle,<\langle x_2,y_2>\rangle,\ldots ,<\langle x_n,y_n>\rangle\}</tex>.<br />
Тогда <tex>\gamma</tex> называется образцом.
}}
{{Определение
|definition=
Пусть <tex>A_{\gamma}=\{p | p(x_1)=y_1 \wedge p(x_2)=y_2 \wedge \ldots \wedge p(x_n)=y_n\}</tex>, где <tex><\langle x_i, y_i> \rangle \in \gamma</tex>.<br />
Тогда <tex>A_{\gamma}</tex> называется свойством образца <tex>\gamma</tex>.
}}
141
правка

Навигация