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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Subst
Fml
(x, y, u, v) Subst
(1)
Fml
(2
x
·3
y
,u,v)
Sub(y,u, v)
y
u
v
Sub(y,u, v)=µx
x<p
uy
uy
Subst(x,y,u,v)
.
Fr(u, v) u
v
(Fml(u)&WVbl(v)&(¬Subst
Fml
(u, u, 2
21
,v)&
(∀x)
x<u
(x = v → Subst
Fml
(u, u, 2
21
,x)))
x
u x<u
u
v
¯
0
x
v
¯
0
ϕ n
¯n ϕ(n)=g(¯n)
ϕ(0) = 2
21
,
ϕ(n +1)=2
3
∗ ϕ(n) ∗ 2
25
∗ 2
23
∗ 2
5
.
L
τ
Arithm
x
1
n
x
1
[¯n]
n
P x
1
x
2
n m
P
x
1
,x
2
[¯n, ¯m]
n F
x
1
F
x
1
[¯m]

Страницы