ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
