Элементы теории алгоритмов - 225 стр.

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

Составители: 

Рубрика: 

§5
own ∈ M[p, f]
M[q,f]
P
Q = S(M),O(M),M
op
Q = S(M),O(M),M Q
= S(M
),O(M
),M
Q
op
Q
x
1
,...,x
n
r
1
∈ M[x
i
1
,x
j
1
]&
r
2
∈ M[x
i
2
,x
j
2
]&
r
m
∈ M[x
i
m
,x
j
m
]
op
1
op
2
op
k
Q = S(M),O(M),M
Q
∗
= S(M
∗
),O(M
∗
),M
∗
Q
C(x
1
,...,x
n
)
Q
∗
C(x
1
,...,x
n
)
Q
∗
= Q
Q
0
= Q Q
1
Q
2
Q
n
= Q
∗
1 ≤ i ≤ n
Q
i−1
op
i
Q
i
Q Q
∗
P
P Q Q
∗
Q
P
Q
∗
Q
P
Q
∗
= S(M
∗
),O(M
∗
),M
∗
Q
P
Q
∗
M
∗
[s
∗
,o
∗
]
M
∗
M

Страницы