Морозов А.С. Введение в вычислимость
Подождите немного. Документ загружается.
æ
e
→
(x)
(x)
x
˙
−1
x
˙
−y
(x)
i
0(x)
A ∩ B
A ∪ B
A \ B
A ⊂ B
A × B
A
P
k
(x
1
, . . . , x
k
)
A
n
F (x) ↓
F (x) ↑
F : A 99K B
F : A → B
I
n
m
(x
1
, . . . , x
n
)
R
−1
R
0
◦ R
1
T (A)
T
k
(e, x
1
, . . . ,x
k
, y)
U
W
n
(x)
Λ
(x)
(x)
|α|
α
→
Γ
β
α
∗
→
Γ
β
α → •β
M
R
S
T
A
S
A
S
x∈A
B
x
(e, x, n)
dom (F )
(x, y)
(i, x)
∈
h
x
y
i
(x)
A(w)
1
k
→
µyR(y, ¯x)
µy(g(y, ¯x) = 0)
A
π
n
range (F )
(e, x, n)
(x)
(e, x, n)
⊆
∅
{e}(x
1
, . . . ,x
k
)
f(¯x) ' g(¯x)
p
i
s(x)
v ⇒
M
w
v V
M
w
A
+
A
∗
n