141
правка
Изменения
м
Поправки \ldots и всякие (..), (...)
{{Определение
|definition=
Пусть <tex>\gamma=\{<x_1,y_1>,<x_2,y_2>,...\ldots ,<x_n,y_n>\}</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><x_i, y_i> \in \gamma</tex>.<br />
Тогда <tex>A_{\gamma}</tex> называется свойством образца <tex>\gamma</tex>.
}}
<tex>q(p):</tex>
for <tex>k = 1\ldots +\infty</tex>
for <tex>\gamma \in \Gamma[1\ldots ..k]</tex>
if <tex>(p \in A_{\gamma})|_{TL(k)}</tex>
return 1
