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