ВУЗ:
Составители:
f
| i
| 0 0 0 i
f
−→ | 0 0 0 i
| 0 0 1 i
f
−→ | 1 0 1 i
| 1 0 1 i
f
−→ | 1 1 1 i
| 1 0 0 i
f
−→ | 1 0 0 i
i
i
σ
i
i = 1, 2, . . . , M,
|δ
1
δ
2
. . . δ
M
δ
M+1
. . . δ
2M
σ0i |δ
1
δ
2
. . . δ
2M
σσi |σ0i −→ |σσi,
|σ
1
σ
2
. . . σ
M
0
M+1
σi
σ
1
, σ
2
, . . . , σ
M
(|0 . . . |0i
O
(
X
j
λ
j
|e
j
i
O
|p(e
j
)i))
O
. . .
O
(
X
j
(λ
j
|e
j
i
O
|p(e
j
)i))
O
γ)
.
M n
x
1 −
1
2
M
M = log
1
γ
(|0 . . . 0γi)
p p
p
z
1
, z
2
, . . . , z
q
∀x
1
∃x
2
∀x
3
. . . Q
k−1
x
k−1
Q
k
x
k
p(z
1
, z
2
, . . . , z
q
, x
1
, . . . , x
k
).
Q
1
, Q
2
∈ {∃, ∀}
| z
1
. . . z
q
0 . . . 0 i −→ . . . −→ | z
1
. . . z
q
0 . . . 0 γi
f | i f | 0 0 0 i −→ | 0 0 0 i f | 0 0 1 i −→ | 1 0 1 i f | 1 0 1 i −→ | 1 1 1 i f | 1 0 0 i −→ | 1 0 0 i ' ) ) i i $ $ σ i = 1, 2, . . . , M, i |δ1 δ2 . . . δM δM+1 . . . δ2M σ0i |δ1 δ2 . . . δ2M σσi |σ0i −→ |σσi, & |σ σ . . . σ 0M+1 σi 1 2 M $ σ , σ , . . . , σ 1 2 M OX O O OX O O (|0 . . . |0i ( λj |ej i |p(ej )i)) ... ( (λj |ej i |p(ej )i)) γ) . j j M # n '$ ) $ # # # $ x $ $ 1 − 1 $ 2M ) M = log 1 & γ $ (|0 . . . 0γi) ' #'()') p ' $ p p % % z , z , . . . , z 1 2 q ∀x1 ∃x2 ∀x3 . . . Qk−1 xk−1 Qk xk p(z1 , z2 , . . . , zq , x1 , . . . , xk ). Q , Q ∈ {∃, ∀} !) #)') 1 2 | z1 . . . zq 0 . . . 0i −→ . . . −→ | z1 . . . zq 0 . . . 0γi
Страницы
- « первая
- ‹ предыдущая
- …
- 46
- 47
- 48
- 49
- 50
- …
- следующая ›
- последняя »