Гуц А.К. Математическая логика и теория алгоритмов [pdf]

!&

"

!

#

"

#

?

?"

#

!'

!#

Y

K

WR

X SHb M XO K c J W KO

%

F ak &

"

#

?

?

#

'

)+*

RL

WN

M

O

W

HPX

M

O

N c H

)+*

M

XO

K

\K

^V

S

J

O

H

L

KSJ

N

V

!K

N

OV

KSN

G

MYH

KINB

Q

HJ

R

G

WN

V

MK

Xb

\K$

^V

S

W

B

"#

X

K[ c WN X KSb Y K X K[ c aWK[Y c W JV KTHB

,

-*

aNJ O H L KSJ N V KO \KXNL O J K V M S ^G W H

KXO ?B a ?B

KJ

R

G

WN

O

J

WN

H

X

Y

W

K

H aG X K cP S O P M Y KZ

N

V

H

V

O

L

KSJ

N

VaKMH SN N X KSb Y K MH SN ^M Q MH ^HXXOB KJ R G WN O J WN

H

MKB

"J

KT

MH

XO

K

\K ^V S

B ! "

MKXO ?B a ?B

KJ R G WN O J WN H

\H

S

Y

H

MN

O

J aK[ MN

V

HX

\NG

J

K[

N

\X

J

W

N

R

XN

O

J

K[

L

KS

^G

W

H

V

?

B

S

Y

H

MN

O

J

K[

N

\X

J

W

N

R

XN

O

J K[e

?B

KJ

R

G

WN

O

J

WN

H

Y

W

J

K

H

`

acP S

MN

V

HX

\NG

J aV X KN V

H

V

!

!

#KJ

R

G

WN

O

J

WN

HO

M

S

^G

W

\HHB

M

SN c L K KSJ N X SHb J KL \KXIH O K aWXb G X KI KXJ Ki J HN H

I

S

K

HZ

IJ

N

`

W

XN

J

K dP KX I O cKJ K V \NV

!H

H

VJ

W

XN

Y

W

\N

L

Y

\HH

WSN

^RHX

N c N H

O

M

H dO K R V KT J d c MK XN T N V d \NV g W

aN

d

(

a"MH SN J K KN MB

Y

W

O

N cN V aO MY W RO J WN

"H

#

aMH SN J K K N f M XN J KO K

,

-*

,

-I*

,D

-*

-*

R cW O W W H V K H M S cH ^U QN V \KIW R K V

B

"

"

#e

X

KX

\KIWT

J

HN

,H

-

KXJ

Ki

J

HNP

,

-KJ

R

G

W

W

HX

('

J

L

W

\NV \H aL \K

`

MH

O

L cW J HNP c KT P c

X

KX

\KL

`

MH

\L cK KS T W HPX M

\N

O cH H \V ^MW T c J HN# H H \K

[

W

J

H

\N

Y

W

J

K h \N[ X W

fh Kb R V H aV

T

W

U

QN d MO KZ M XO \WHO VJ HN

M

X

\KP

PX

M c KI O W S J HN H VY S K[N Y HO MY W RO J WN Z J O K d J R Y W O aK \KXWB

!#"

!

#

'

#

!"

!#e

X

K

V cK WSb J H S K[N Y N ]J N

* ! '()"%"

X

\HNV

J

\N

O

K

WJ

MK Xb UN MO KI cK KZ

N[

G

MYH

P

W

L

\N

\

cK W KXJ Ki J HN Z V HT c

^

cHB

%

3

7@H

2I

1M

3S

O

K

G

H

MYH

K[ c HZ M XO NP N H[ K V KXN O O aK SKB

XN

G

MYH

P

W

N

\HO

H

VJ

P

W

S

K[N

Y

N aJ W WSN RGHB

\KIL

S

H

V

N

J c ^Y `N O \HPK XJ MK XN ac HJ KB

h `J H \HXN

M

S cH O K J WN

Z

J

K h \N[ WXe

Y

cW HN V J ^WY$N J P S J cN

$O

N

J

P

S

J cN U h EB CF

[

cK W \HNLd R c J H X

MN

U

hN X

[

J

H i X HZJ W h E

[

O

\HJ ^SP M

[

c H M X WS \HLJ V N Y K ^V i cH i H[ KJ WL J HB

X

W h E[ I S L \N[ S Wi J H O

H

IV

\N c aT

\L

K

MH

\KK

V

HSb

MN

J

MY

K[

^J

N

O

\H

MN

HXB

XN S O E

[

O SHb MN J Y N h E

[

M X WS

I

\N c THY K X \K ^MYU cN

M

\H

X

WN

`

U

R

W

QNB

P

M

O SHb MN J MY K V ^J N O \H MN

X

HN

O

HB

V

E

aN J MY N

Z

N

S

MK

N

S

K[N

Y

G

N

SB

\KML

\X

J

W

M

XO

HJB

\KHO

H

VJ

H

V cK WSb J KMXN

e

O f H cRg H N SN O f M H[ cg aWWYe f KB H

[

cg H N SN N fJ K[ cg W

De

cf Y K W ^RH V MK Xgb aWJe f L \HKXN O \K G HN O MK Xgb

e

fP KI R WX HSb J KM Xbg aWLe f KO R KS J HN g

H

L

W

\NV \H ac L K ^M XN V M S cH ^U QN HN J X \HL \HX WN

`

V KT J g K

J

"Y

WN

N

V

^K[

X

L

J

KN

V

WXb

P

M

N

J

G

W

H aG H V J f H KI d cKN gV K N O f KB R

>R

Q

GZO

B@

H

1VI

D

C

LI

<

3

SN

MK

W

N cK \KWN" R H[ \WKO K R V KT J KM XN J H KI d cKN V KM XN

WJ

P

W

S

K[N

Y

W

I

S

WM

K cR J W WM

`

SHb

U

\KV

WSN

R

`

WN

\L cH M X O W S J HN Z

N

\L

O

WN

S

WO

O cK W

E

S

K[N

Y

HO

MY

W

RO

J

WN

Z c KI O WP S UPX M M S cH ^U QN H Y W MN K V

Y

KX

\KZ

G

N

X

W

HPX

M

Y

Y

W

O f M H[ c W I ^c HX g

*

KT"

J KO MH XN J R YW

J

O

K

Z

J

R

Y

W$

\K ^V S W

N

J

X

\HL \\HXN ^HPX M Y Y W If ^c HX g

K[N

Y

\WHO

VJ

HN

\WZ

\K

%W

&e

X

K

S

K[N

Y

WI ^c

^

Q

H[

K ]J

WM cK \H T N X

MY

W

RO

J

WNP

N

R

VJP

H

HPX

M

O

\KHO

VJ

HN

S

K[N

Y

N

K[N

Y

WL

\NV

\H

W

J

K h \N[ X W JV K[ J R G WJ P aW J R G W J HN HOB

\KOHO

VJ

HN

R

MW

X

O

WP

S

HX

M

KX

^L

N Xb P M KX Y S MNW G MYH KZ cO ^J R G WJ KZ

N

S

KT

J g K NSN J f HL \K cH SH HJ g K MW V \KX J HN \HH WSb J K[ \KL

`

MH

W

J

R

G

W

J

HN

HO

MY

W

RO

J

WNP

J fN M XN J aKJ N S KT J g K NSN Nf M XN J aK

J

N

M

XN

J aKJ N S KT J g K Y WN V \KIW R K V aL P KO P S HPX M H Q H \HXbX H

G

X

K c KT cb L \K cH SH HJ K RY W J K G N SP M h

X

KZ

KI

S

MW

XN

O

MY

W

RO

J

WN

H

Y

K

VJ

K[ cP S X

K[ aGX KI V V K[ SN O K cR \H T WXb P M ^KX XO \H T c J aHNP

cP S X

K[ aG X KI R MW X O WN Xb J MYW WR Xb aG X KN c HX c KT cb aKJ M SN iB

Y

K[ c W V KT HX Y L W WXb J HI KSb i K HY KSN G MH XO KY L W HSMbe SN i Y K V V WS K

V

HT c ^XN NV \HO VJ H NV X KG Y WN V J W d cKN PX M L \HH d cKJ P W KI S MW aXb

c HS HJ KN c HX c KT

cb

aKXL K V L \K cH HS HJ KJ HN c HX c KTcb

aW

N

S

UM

X

\N

\

^HX aGX KJ W L \K cH SH HJ K V \KXHY R \HHO VJ HN O J G W WS H L \KHB

\L

N

K

M d cKN X J HO J H RL WJ aKWL MK X L H HJ K ^M Xb

J

Y

H

KX

\KK \HO P H aWV R WX H \VL Y \HW Q W HPX M \KL cHL KS KT N V aG X K

X

K

%

T

J

HNP aKI KJ R G W HJ HY Y W gfj aPO P S UPX M L KN M J WNP NV

MK

XP

KJ

NP

\KL d cKN X \NV ]M KI Z N J X \HMH \L cH M X O WP S HX M S ^G WZ aK[Y c WO \WB

J

K aX \HWO RSN G J H V K VJ H X \HO VJ HN J Y H KX \K[ \KHYX R \WHOVJ aHN

L

KG

Y

KZ

\K

^V aS L KN M O W U QN d

MK

XP

KJ

NP aKXY \KHL MK S cH O K WX SHbB

KT"

J

KL

KM

\X

N

KXb \K ^V ^S

, ,

-

aP O P S U Q ^UP M `B H

\L

N

K

M d cKN X M KI XN Hg

N

M d cKN X M KI XN H aW R WX H V aX H

#

"

"

#

'

#

!a"

U

QN

Z

IN

J

\WJ

^U

MOP

Y

^R$

\K

^V

S

W

G

N

X

W

HPX

M

Y

Y

W

Mf

HZG

MW

\KLB

S

K[N

Y

HO

MY

W

RO

J

WN

Z c KI O WP S HPX M J O K Z MN OV KS aL

\

cH M X O WP SB

\_O

J

MK Xb N SN J \HWO R HXO S HJ MK Xb

J

N aYY WB X K I MYH J K G HJ MK Xb \HO VJ HN O \KLi S K VN SN I ^c

^

Q

H

V aJL \HHB

WJ

P

W

S

K[N

Y

WJ cH SH W HX J N Y Y WN \Ld cHL KS KT J HN Z KL \N

\

cK \HHO HVB

KI

O

W

KG

J

\HL

O

WN

S

WO

O cK W

O

J

WN

Z

M

S cH ^U QN H Y W MN K V

\

cH S KT HJ K HN VN MG N M S J HN H cKI O WP S HX Y S K[N Y HO MY W RB

K[N

^Y aKMJ O K J WB

#

? \LcH S KT HJ KZ \HO VJ H KZ S K[N Y H aMN Sb J

HN

MG

N

M

S

J

HNP ? aKJ M S WI

H

\WZ \KL Y K

WR aS G X K WS HXN G MYH P W MN M X H V aWM cK \H T W QP WP M O

*

*

h K R V KT J K HN J H KI d cKN V K H L \K cH P SH UPX M G \HH

RJ

Y

WN

N

Y

Y

W

N

aMH SN J K WG MW XN G J \KL O WN Sb J WL KXJ Ki J HN UY

N

aN

\K[

\W

V

W

J

W

RO

W

HPX

M

'

"

!

"

"L

KXJ

Ki

J

HN

UY

N

M

XN

J

K h

X

K

V

M

S

^G

W

HN

ML KSb ^RHPX M RL WN Mb

L

KSJ

J

HN

H

V

N

RY

W

J

W

G

N

O

W

\HXWI ^KX aL MK X ^M S O KN H

I

^c HX Y W T H

Y

N

aMH SN O P M Y N \WZ aRK[Y c \WL cH ^M S O KN H N

M

XN

J

KL

\H cH OB

\K[

\W

V

W

J

W

RO

W

HPX

M

' "

!

"

"L

KXJ

Ki

J

HN

U

RO

W

HPX

M

!#

^M \XbLe \K[W

V

aWOe MY W RO J WN aHKXJ P MK Q HP M Y O d cKJ V

c O K WX HSb J d V K VJ H X W \d O WJ K

%

ak CB &C

MK

XP

KJ

N

Z

\NV

\W

O

WJ

K aX KG N M S KO K R V KT J Nd M X \KNZ O

L

MK

SHB

G

J

HN

HN

MG

N

M

SN

V dL MK S cH O K WX SHb J d M S ^G WO H M SN G N M S KL KSJ d

\h P H V O

X

KZ

X

HL

V \KWSb J KZ S K[N Y cH N \MYHXJ K H

X

K

SN

J

HZJ

K

HHXB

\L

O

WN

S

W

OV

O cK cW KI O WP S HPX M \L O WN S KY MX J H N

`

J

K

WSb

J

MK

XN

MH

SN

,

-

,

-

,

-

,

-

,

-

L

K

KSJ

N

X

SHb

J

H

Y

W

MN

K

V

O

WX HSb J KM Xb Y Y W M WN V dL KSJ d MK XP KJ N Z \NV aW X Y W N d L KN M J WN Z

X

\KNP g N V

HX cO KZ M XO HJ K H J R G W J HN HJ K V KT HX KJ R G W WXb L MK S cHKB

Y

^WU

`L

H

KG

^Y

J

W

RO

K

H

\W[V

VJ

H

X

K

V

!'

\WNV

\HNV

J

N f MB

3

;>

J

Ki

J

HN

U

Y

L

\WWS SHb J V \L \K[W

V

W aV X H \L \K[W

V

W aMKV XP KB

\Hh VJ H HO \HNN Y WN

`

\L

\K[W

VO

L

KSJ

KZ

V

\H

\HWO

RN

SN

Mb

L

KXB

\L \K[W

V

W adL

\

cH M X O WP S U QN Md KI KZ cKN J O G N M SN X SHb J Z \KL

`

MH

O

M WXb H ^ \M X WS

%W

E

&

c] J Y W \K G Hb i S W KL MK S cH O K WX SHb J d

J

R

Y

W

O

K

O f M H[ cg W N N fJ K[ cg W cP S O \HNN Y WN

`

\L \K[W

VL

\KPO

N

S

MbW

h L\HHO E

F

V

M Sb KI N ML KSb RO K J WN S K[N G MYH N \HOd VJ H d

\O

K

J

WN g

c Y K S cW K V f Y H KX \KH M \KIWT J HNP K I KS \HWO RN X K \VL \K[W VNB

M

XO g W

X

K

^VT \HHO VJ HN KXJ MNK PX M O M X ^SL J HN

HHZY

M

\MX

KX

S

WT

HJ

NV aJ ^T J K c Y K W RO WXb aG X

KJ

N

V

H

UX

T

SH

W

H

V

H

MO

KZB

[

K aG X KI N ML X O WXb \L \K[W

V c KX H Ld \K aLY K W J KN J HY K WT ^PX M

\L

\K[W

V

M cK \H T N PX M O M WbXHT" WY \WXN E

fh V MH X K KXB

c] J KN RL \HOd ^KLN V J J WN Z N c N H c Y K

WR

X SHb M XO \WL O WN Sb J MK XN

c WJ P W \L \K[W

V

W

KI

S cW W HX N J X \H ^MHU QN VJ

MW

O

KZ

M

XO

K

V

J

KZ

X

H

\KN \HO VJ H KZ S K[N Y N cP S c Y K

WR

X

SHb

M

XO

W

X

K[ aG X K

D

ML KSb RO K WXb WL \WWX \KV WSbB

L

O

K cH J HN H

\L \K[W aVd \W Y W X \HN ^RU QN Nd \dL O WN Sb J K HO G N M SN X SHb J K H

Y

N aML HN

`

WSN

N

\R

O

K

WJ

[

KM

I

V

\KIW

R

K

V aO \WN R Xb MO KZ M XO W

L

K

V

K Qb UP RY \WOH VJ H KZ S K[NB

O

J

WN

U

MO

P cK PX M Y M S cH ^U QN V cO ^VL KS KT J HNP

%V

akD

&

]MJ

O

KJ

HN c N H L \SN KT J HNP \HO VJ H d S K[N

Y

\L

\K[W

\KVNB

\HO

H

VJ

H

S

K[N

Y

N

P

S \Hi J HNP R cW G WN O \HNN Y WN

`

\L \K[W

V

N

ML KSb ^RUPX M

"N

!#

\L

\K[W

V

G

N acP S \Hi J HNP Y KX \Kd J K W M K cR O W WS aMbWXe K R cW G WN

'

!#'

\O

K

\HWY

X

K[ aG X \KL \K[W

V

W c HZ M XO N X SHb J KO L KSJP HX R cWWB

\

cH ^M S O KN H

N

L

KM

X ^M S O KN HMOP RJ W M Y J \KHXJY KZ R cW G W aHZ

L KSb ^RHPX M RL WN Mb

P

KI

R

WX SHb J K RO W \H i W \HXWI ^KX aMH SN N

M

XN

J

K h

X

K

V

M

S

^G

W

HN

MB

Y W MN K V

K[N

Y

W

^HSJN

M cK \H T N X c L K KSJ N X HSb J H J R Y WN

Y

K[ cWB

Y

MK

XP

KJ

N aUW J R G W J HNP S Y K WSb J dL \HH VJ H d VJP H UPX M

S#

KI WSb J HL \HH VJ H HJ H VJP H UX MO N K d J R G W J HN Z KX MK XP KJ NP

L

\HH

H

VJ

H

Y

\WW

INR

O

W

UPX

M

J

W cO W XN L W[ S KI WSb J HL \HH VJ H HN S Y K WSb J H

Y

K

LV

J

K

J

H

X

\WL

\K[W

VJ d MK XP KJ N Z \K V HX K[ aL \HH VJ H P H RB

d cKN PX M O V HXY Hg

X

K c W HX \M cH M XO W cP S L KN M J WNP Y J K \KSXb J K[

O

N c W

aKXY \K \HLKI H[ W UX L KO \WT J HNP VO N c W L \Kf

`

MH

J

WB

M

L

\IN

O

W

S

J

HN

H

V

JV

KT

MH

XO

WJ

O

K \dL L K KN R N

`

J

K WSb J Ld \HH VJ H d

\Hh VJ H P W S K[N Y W ^SHJN M \X N K PX M Y Y W S K[N Y WL \HKO[ L P \K cY W

\L \K[W aV MOP RJ W d M L \WWS SHb J NV O G N M S J HNP NV

Y

WN

V

\KIW

R

K

V aS K[N Y W ^SHJN \L cHJ WJ R G W J H cW P S O \HNN Y WN

`

VJ

^HU i Y ^WS aHJ RO WN MN ^UV KX O L KSJ J HNP g

\W

SRN

G

J \KLd

`

MH

O aKV c KS T J \W SRN G WXb [f cg H N Y f K[ cg W N MKB

O

L

KSJ

J

HN

H

MK

X

N

K

X

N

RL

\HH

V Hi WJ d V HT c ^M KI KZ L K \HWN

`

Z

N

R

J

N

Y

\L \K[W

V

W

VN

J c \HXNV J N MX Y N V aL \WWS SHb J V aOY KX \Kd

O

L

KSJ

J

HNP

\L \K[W

VJ

K[

M

H[

VJ

H

X

W cW Y HO WXJ

KL

\N

\KIW

QHB

cP S X Y WN \dL \K[W \MKVL X \HHO VJ H HL JP K XNP cfg K N L f MK Sg H

J

\KL cH SHN Xb aOY Y W K V V MH X HO L KSJ J HNP V J W d cKN P MV K

X

K

^V

\L

\K[W

V

HN

J

R

G

W

J

HNP

\L

\K[W

VJ dL \HH VJ H adV V KT H V X KGB

UX

O ^fJ \HXJ N HG MWg aWN VJ H K M W V KO L KSJ J HN H J

"P

W

V

HXY ^O

J

P

H

O

P

S

HPX

M

^M

Q

MH

XO

HJ

KZ

X

KX

Y

W

L

KX

K

^V aGX KXN \L \K[W V N HVB

\KL

\K[W

V

W d cP S L MK S cH O K WX SHb J \dL \K[W V X HL V \KWSb J MK Xb

L

JP

K

XN

HO

J

Hi

J

H[

\KHO

VJ

HN aSNN X HL V \KWSb J MK XN acP S \MW ^T c J HN Z

\N

O cH H \V ^MW T c J HNP ^SHJN L K

X

K

V ^L O K cK ^ ^f T J K SN

G

N

M

SN

X SHb J K HL O K cH J HN g H

%D

ak

&

^

c WJ KZ \L \K[W

V

MO

KZ

M aXOd \W Y W X \HN ^RU QN d \HL O WN Sb J K HOB

V WSb J P W X H \KNP aM L K V K Qb UY KX \KKZ V KT J K c Y K W RO WXb J f WSN G N H

L b UX \HJ \Ld \K[WV

\

^N[ NV M S O K WN aV S K[N Y W ^SHJNe

X

K

\KB

HL

V \KWSb J P W S K[N Y W ^SHJN M K cR J W W M

`

SHb UO \HNN Y WN

`

Y

KB

V

^ DN

$M

@1 M 2 >G

/M

LN

Z

@HN

IM

G

S8

H

G

H2

G1

@S 2? GIH 39

dP cK QN HL \NO L KSJ J HN Y K VJ W c N c

^

Q

H[

KL

\HKO[

\KL

`

MH aWN MYWB

XN

G

^MYHU

M

Y

H

N

`

U aL MYK KSb Y ^N R VJ H J HNP O P G HZY W dL P W V XN aL \N K MB

Y

K

VJ

W c

X

KZ

M

Y

H

`N aOX \KKZ \KL

`

MH

J cH KS T J H O KZ XN O MO K UY \NB

Y

W cKN J \KL

`

MH

J

W d cKN PX M O MO K HZ Y \NXN G MYH KZ M Y H `N O L KSJP HX

Y

\NXN

G

MYH

N cH P S Y

KL

\HN

\O

K

J

WNP

XN \KLd

`

MH

K

O

J

G

W

H[

O

K

P

\K aKLB

\KL

`

MH

V

^K[

X

O

Y

S

UG

WXb

I

S

Y

KN

M

Y

H

`N

aM cK \H T W QN HY K VJ W c a

]

G

H

VN c \HX G Hb h L \WWS SHb J Od G N M S J HNP dL \WWS SHb J H

"

#

!'

#

#

"

SN

G

J Nd J O \WNJ W XJ d MO KZ M XO

L

W

\NV

\H ac Y K W RO W HPX M

'"

!KL

V

K

Qb

U

X

K[

\L

O

WN

S cW Y K W RO W HPX M J WSN G N H ^L \K[ \W \WVB R

! NOV

KSN

G

MYH

N

X

\KL

O

WN

S

K

RL

WN

M

O

W

HPX

M

Y

Y

W

!

" " ! ! ! '" ! !" ! '# !

#

!"

#

(

#" ' "

'

"

#'

#'

"

#

"#

' '" '

# ' !' ! "'

'" " " !"

'

' " "

!

#

!