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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§2
P
(Fr(x
1
, 2
31
)&
(∃x
3
)(∃x
4
)(x
4
= ϕ(x
2
)&Subst
Fml
(x
3
,x
1
,x
4
, 2
31
)&(¬
x
1
[x
3
]))).
p
P
x
1
,x
2
[x
1
,x
1
] x
1
D
D
x
1
[¯p]=D
x
1
,x
2
[¯p, ¯p]
D
x
1
[¯p]
τ
Arithm
M
A
M
= {a
0
,a
1
, ..., a
n
},
Q
M
= {q
0
,q
1
, ..., q
m
}
P
M
SST(M)
A = {a
0
,a
1
,...,a
n
,q
0
,q
1
,...,q
m
,h}
Π
P
M

Страницы