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

N cR ^"Od

"

#

"e

N

M

XN

J

WN

SN

S

KT

b

\L

L

K

KN

R

N

`

J

K WSb J P W L \HH VJ H P W aWTY cP

W

\K ^V S WL \N J N V W HX cKJ K

O

W

HPX

M

#

!

"

!

!

"

"

h WS

[

\IHHO

MY

W

RO

J

WN

Z

Y

WT cP W

H

\KNP aKXY \KWP N ^RG WHX \K ^V aS L \K cH HS HJ HO i aHWRJB

I

^c H V KI KJ R G W WXb Y Y W

,

-

\K$

^V ^S aM cK \H T W Q ^U \L L K KN R N

`

J

K WSb J H L \HH VJ H H

MY KI Y K

^! Q MH ^UXOX N c

\

^N[ \HL O WN S W aL KO R P KS U QN HJ H M X O WN Xb SN i J N d

\K ^V ^S

,

-

L

-N

^i X Y Y

,W

-

a

,W

Y

-Y

W

c] J Y W aKYY W G MW X K c SH W HPX aM SN i J N H MY KIY N L K ^MY W UX

L

\NV \H

^

a

Y

W

O

N cN V aL \NL MK \KJXHN \K ^V S N ML KSb ^RUPX M MY KIY

NN

#

!

'

!

D

#

!

!'

,

-

,

-

,

-

!

!

!

"

"

!#"

#'

'

"

!

!

]X

M cU W M S cH ^U Q

HN

J c ^YXN O J K H

&

S

J

HN

H

X

^K[

XO

\H

T c J HNP aKXY \KK H J K d KX SH I J WO RWXb \K ^V S KZ

X

K[

G

X

KI

I

Xb

'

"

a! S K[N Y P KI RJ W I S c WXb M \KX[ H L \K cHHB

T c J HN H

aM cK \H T W Q

HL

\HH

H

VJ

H aM X WSN J W RO WXb

!

"

P

S

S

K[N

Y

HX

\HNV

J

KS

K[N aL \N JP X KZ O V WX H V WXN Y H h G MW XJ MK aXN ^XO \HB

'

#

'

#

a

X

K

MH

X

MH

XO

HJ

V

I

S

KN

ML

KSb

RO

K

J

WN

HO

MYK KSb ^SY K[N Y WL cK O SNP J N H V V WX H V WXN Y N \L O \HWXN S MbW O

^c H V KI KJ R G W WXb N Yd Y W

M

XN

\L

L

K

KN

R

N

`

J

K WSb J HL \HH VJ H HN VJ ^HUX \MKL X

K

!#"

!

`N a

!

"

"

!

!#"

!

Y

W

\L

O

WN

S

K acP S

\WXYKYB

MY

W

RO

J

WNP

W

RO

K

H

V

X

Y

WN

HL

\HH

H

VJ

HL

\WW

V

\HX aM S cHP ^\X cWNB

MH

X

MH

XO

HJ

KL

\N

L

N

M

O

WXb

J

R

G

W

J

HN

H

N

SN aKSL ^G P W L \NX K VOB

h S K[N Y HL \HH VJ H VL \WW V \HXW V aO dP cK QN VO ^XO \H T c J aHNP

c HJ ^K[ XO \H T c J HNP

MY

WT

H aV aDV J H V KT H VJ N G H[ K MY WR Xb K \ML O W cH SN O MK XN L \N HOB

M cK \H T N X L \WW V \HX Y K WL \HH VJ H KZ J HL \N c J W K J R G W J HN aH

h L O K M cHJ O HJ KZ T N J RN V KT J KJ WZ XN L \NV \H ^XO \H T c J HN Z aM cK \HB

S

O

H

KZ

^J

Y

`N

,

-* ,

,

-

,

-

Y

J

K

X

Y

W

XJ

H

M d H V L W \NV \H aWJ \MN

D

L

\N

O cH J H W M d H V W cP S ^IB

\RLMK

X

HZ i N d M d H V S HY[ K M \KINW UPX M \L N K O R KSb J \HSH HZKJB

MN

OV

KS

KJ

R

G

W

W

HX

O f dg cK aWe

X

Y

K

J

W

O f d cKg H

Y

K

$J

UJ

Y `NLe KM S cH O K WX HSb J K HM K cHN J J HN

H

\MNaW W \MN

L

\WWS HSb J K H M K cHN J J HN

H

R

W

V

Y

W

U

QN

d

Y

J

K

X

Y

W

X

O

K

\MN

a

aW

O

V

MH

X

Ke

X

Y

K

J

\HKL d cKNXN$ R UJ Y `N

M

KXO

M

HX

^HXO

c KIJ KO V MH X K MN OV KS W L N M WXb MN OV KS

X

Y

K

\KL d cKNaWX

Y

K[ c W X Y K MH Xb

*

X

H

*

aL Y K WJ HX Y K

W

*

aN \W R V Y W HPX Me

*

a

\K

^V

S

H

KXO

G

H

W

HX

!

!

"

'

'

aKXY \KZ R WY V ^J aX

a X H

*

aN \W R KY V ^J X L \H[N

KX

^MMX

O

Ne

*

WS aH

X

\NG

MYH

KZ

M d H V aHYKX \KZ R WY V ^J X L \NL cK G W

H

^L \O WP S U Q H[

K

X

Y

K

W

L

KN

R

N

`

J

K WSb J P W L \HH VJ H P We

X

K

!

"

'

'O

S

Y

HB

SH

HZJB

KY

J

K

X

Y

W

XJ

P

W

M d H V W M \X N K PX M O \L cHL KS KT J HN aG X \KLKB

RO

W

H

^UV

!#

"

"

'

'"

#

WT c KZ ^I S O HKZ ^J Y `N V KT J KL KM X O WN Xb O M KXO HX M O N H X Y W WJB

\K ^V S KZ S K[N Y

N

WS

[

\HIMYO

W

RO

J

WN

Z

Y

WN

V

\KIW

R

K

V aWTY cP

W

cO ^J R G WJ P

W

^I

S

O

H

W

^J

Y

`

NP

O

P

S

HXP

M

! !

V

%

akD

&

,

-

,

-

,

-

,

-

'

,

- !

"

# "

2B

A

^J

Y

N

`

HZ

J

G

W

H[

O

K

P

\K

a#"

e

X

KX

\KIWT

J

HN

H

5

3

D

GV

HCO

@H

BCM

BH

N

LT

GB?

R

DN

>

D/SV

G

@

>7CH

0I

2 @V LM G I2 2GV D HCO @H BCM UH G LT G?U 3

%

N c L K KSJ N X SHb J KYXN

V

\K ^V S W V H Q cH O H

h S K[N Y HO c P SH UX M S cH ^U QN \H O WJ MNK Sb J

H

\K ^V S

^V

S

N

ML KSb ^RHPX M KI KJ R G W J HN H

O dP cK QN Od J N Ld \HH VJ H d

P

\S

O

WJ

MNK

Sb

J

d

\KB

" "

a! MH SN N d J R G W J HNP M O KL cW W UX L \SN U I d J R G W J HNP ad

O

H

\K

^V

S

,

-

N

,

J

-W

RO

W

UPX

M

!

!

#

!

!#

'

#

!!

!

"

"

WS

[

\IHO

MY

W

RO

J

WN

Z

!

!#

O

X

K

V aX K[ O K P \KX aGX \KKIL S H V \WL O K \HY N KI Q HJ R G WN V MKXN \K ^V S

ML

MK

I

WS

[

\KNX

V

aKOL R P KS U QN Z O Y J K G HJ K HG N M S Ki W[ O ^K I cHN Xb P M

\L

O

K \HNXb aGX

KJ

P

W

O

P

S

HPX

M

"#

"

M

SN

^M

Q

MH

^HXOX

Y

W

KZ

^M Xb c J W \WL N K O R KSb J P

W

\K

^V

S

W

,

"

-KT

J

K

SN

Y

Y

WB

X

K

)+*

N

ML KSb ^RHPX M MN OV KSN G MYH P W RL WN Mb

I

K

VJ

WI

\KHL \HH VJ H d J K WN M XN J WP S KI Q HJ R G WN VKZ \K ^V S

SN

^M

Q

MH

^HXXO

J

WI

\KJ

R

G

W

J

HN

Z

L

\HH

VJ

H d

X

Y

W

KZ aG X K

\K$

^V

S

W

,

J

-W

RO

HPX

W

M

'

"

"O

L

KSJ

N

VaKZMHB

KSb L K \HWN

`

Z

N

\W[

UX

L

\HMH

G

J

HN

H

$

aKI cHN J J HN H

N

JV

KT

MH

XO

J

W

X

\K

%W

&

\HH

VJ

HHe

X

KL cK JV KT MH XO W JV KT MH XO W

M

^UXOX

N

J

HS

K[N

G

MYH

N

^HI

S

O

H

WS

[

\IH \NV \HKP V O P S HXP M X H \KNP

S

[

\IHWO

MY

W

RO

J

WN Ze

X

K

S

K[N

G

MYH

P

W

^I

S

O

H

WS

[

\IH

^!W

QHB

^P aS P KI RJ W KZ MO N K \VL N K M d KT c J HN H V S K[N Y H \MN X KX P HS

Y

WN

V

\KIW

R

K aWSV

[

\IHWO

MY

W

RO

J

WN Ze

X

KL

\NV

\HWS

[

\IH

V

N

V

H

VJ

O

^KU

WI

M

\X

Y

W

^UXJ

WS

[

\IH

^J aW RO W H V

^U

!

#

"

VJ

H

HO

J

N d

J

W

MK

X

W

UPX

M

\ML

O

W cH SN O aNV X K

c

^ONd M XN

J

MK

XJ d J R G W J HN Z

M

SN

\K

^V

S

L

\RNB

W

L

K

\HWN

`

Z

e

J

W

WS

K[

O

S

K[N

G

MYH

N d MOP RY K

N

J

W

WS

K[

O

L

KM

\KXJ

H

HN

R

WX

K

V

\WJ

d

\K ^V S\HHL VJ H

d

M

L

K

V

K Qb U \HX d

\

cH M X O WN V X L H \HbX H \KUN aKXY \KWP N V HX L \HH VJ H aH \K ^V aS

)+*

'

'

'

H

\KH

V

W c Y K WRJ W

N

I

K

M

S

^G

WZ aK[Y c W

*

a

*

aMYN S UG J H

)+*'

A

S

M

@V 2 LM 2C @I S RH @F P M

@

Y3 [< GLM\ D @IF1 C GL

@

G

LD

RG

LMSI

G3

G?

LMI

H

@

LM H >E BM D/I >0

465`

Y3 [<

M

\X

N

K

Xb

N

M

XN

J

MK

^UXJ

X

WI

SN

`

^

P

S

\L

O

K

\HY

N

J

WSN

G

NP

S

K[N

G

MYH

K[

M

S cH O K J WNP c MK WX KG J KLKB

)+*

P

S

S

K[N

G

MYH

K[

M

S cH M XO NP N ML KSb ^RHPX M RL WN Mb

aMN XN

J

WN \K ^V S W

\K ^V S aO P M Y N \WZ aRK[Y c WN M XN

J cKJ O \KH VJ H KO M

H

\K ^V S

\H

H

VJ

V

a KX Y KX \Kd RO WN P M X O M \HMW V WX \N O W H V H

# '

#

\K

^V

S

aMH SN aL \N c O WP W J R G W J HNP HLB

^M Xb c J W\K ^V S

$

\K

^V

S

W

P

O

P

S

HPX

M

#

S

V

KT

HX

L

\KXIH

O

K WXb P M M SN i Y K V JV

K[

V

Wi

N

J

K[

\HO

VJ

HN

G

N

M

S

KL

\HH

VJ

H d WO G N M S J HN HN M XN

J

MK

XJ d J R G W J HN

Z

\K

^VB

XN

J

MKXb \K ^V S I O W HX KG J Hb M S KT J aKMH SN J K WN V

HX

I KSb i K H

HY[

KL

JP

K Xb aG X KJ \WL Y W XN Y \HL O K \HNXb X KT c MH XO ^HUJN MB

H

\KH

V

W

c Y K WRJ W

KI

Q

HJ

R

G

WN

V

W

\K ^V aSV ^J R W H OV M H[ c W SN J K WN M XN

J

W

M

SN cfg W aX

K

\K ^V S W

M c SH WXb aJL WN M O W \L \K[W ^V cP S Y K LV b UX \HW WZP c O M H J R G W J HNP

S

HY[

KO

G

N

M

SN

Xb

N

M

XN

J

MK

XJ

K

H

J

R

G

W

J

HN

H

\K ^V S

X

K

V

KT

J

K

c cH ^YXN O J

K[

V i S J HNP g

% &C

\K ^V \WN

`

J

K

WSb

J

K[

V i S J HNP aKXY \KWP V K[ S W I M WbX G MW Xb U

M

X

H

V

WXN

G

MYH

N

V

WX

H

V

WXN

G

MYH

N

X

KG

J

V

\KIW

R

K

V

S

U

^IUO

K

R

V

KT

^UJ

O

\H

M WSb J PV RY K V aO Y KX \KK V V KT J K I S K I \L cH M X O WN Xb MNB

K[N

Y

\WL cHN Y WX O K N R \KIHX J# W KX S KI$ K \HV[ f ]J MG N X WS H ^J NB

()"%

* "%(+

\N

O cH H VJ L H KSJ Z ML N M Y K MN S K[N R VO K

J

N

Z

L

KS

^G

WXb

J

O

K

HN

M

XN

J

HMYO

W

RO

J

WNP

e

X

\KL

O

WN

S aKKOL R P KS U Q HNRN M XN J

d

O

MY

W

RWOB

M

@F

P

M

@S *

>M

S

2G B R 0D GH&I M3 US

C 9

BL

AU :

BS

GM ;< LN [C @ LB< A >?

/C G

G/ @

M [

0

D ;!3 @IF1 C GL @C G LB A >?

G@

!

!

, -

,

-

#

-

,

!

(

#

!

!#"

'

#

!

'

!

D

#

!

!'

,

-

,

-

,

-

!

!

,

-'

"

!

!

#

,

-

#'

"

!

"

!#

'

'

#

!!

'

L

H \HbV KT J K c WXb L \K cH SH J HN

H

\K ^V S

,

'

!

-#

'

#

#

!

# '

# '

'

#

!!

'

D

#

,

-"

!#"

!

'

'

'#

!#"

!

#

# ' ' '

#

!!

V

H

V

M

S cH ^U Q

H

L

\K cH SH J HN H X \HV W

Y

WX

O

K

KI$

Y

H

X

O

KSH

W

HPX

M

X

K

M

L

K

V

K

Qb

UL

JP

K

XNP

'

!#

cN Y WX O K aHJ KI d cKN V ^K X KG J N Xb L \N J N `L L KN M J WNP O S K[N Y \HL cHNB

K

X

K

^V aGX KI c WXb L \K cH SH J HN

H

\K

^V

S

O

S

K[N

Y

\HHLB

G

W

H

V

KI

V$

Y

H

X

W aVV P KI RJ W O Y S UG N Xb O X H \KUNN M WN V KI$ Y H X

\L cHN Y

WX

NV

KL

\NX

K

V aL MYK KSb Y ^L

\

cHN Y WX KXJ P MK PX M Y N ^RB

G

W

HPX

M

R

W

MG

HX

O

Y

S

UG

J

HNP

O

\K ^V S ^XO \H T c J HN Z aP O P S U QN P Md

MW i \N J HN H S K[N Y N O MY W RO J WN Z c K S K[N Y N \L cHN Y WX O K L ^KSB

MY

W

RO

J

WN

H

,

P

-aO P S U Q

M

HP

N

M

XN

J

VN

SN

S

KT

J

V

H

VO

MY

W

RO

J

WN aHL \N J cW S HT W Q

H

WS

[

\IHHO

MY

W

RO

J

WN

Z h X Y W K V

O

V

MH

X

K

L

cK M X O WN Xb Y J \KHXJY Z N ^RG W H V Z KI$ Y H X a X KL KS ^WGB

[

c \HMW V WX \N O W HPX M Y Y W L \HH VJ H P W J G W H

[

O

K

P

\K aMH SN O

, -

MY

W

RO

J

WN

Z aKOL R P KS U Q

HM

\X

N

K Xb O MY W RO J WNP M ^G HX K

V

'"

K[N

Y

\WL cHN Y WX O Ke

X

\KMW i \N J HN HO K R V KT J MK X HZ S K[N Y N OB

#

b

C

Z @H NIM

?

I

Z 2 R?G BGM

?

V

R

G

LMSI

G\D

H

@LMI 0 ;!3

/ ) @ + R 2<>I1 M ? $@ RB S H H U >M ?C

2

H BS

G H L@ M R @U 2G 2 B S HI& GD G B PA G BHF H GHI @

0 @ P3< 27? >U ;< D PZ @I LM B1 G?

@

X

\HVO

K aYJ \KHXJY

H

^J

Y

`N

L

K

\HWN

`

J

W

\N

"

'

#

!

'#

!

K

M

X

N

K

XO

^WRJY

N

Y

J

\KHXJY

K[

J

L

H ^M X K[ KJVB

SH

W

HPX

M

X

KL

\MK cH MXO K" V

'

#

!

'#

!

\K

^V

S

T

J

WN

H

\K ^V S V KT J K \KIW QP W Mb Y \H WSb J K ^V \NV ^L

\

cH V HX O K

J

K

^V

\W cR ^SHS K[N Y N aWJ RO W H V K ^V

#

"

'

"

h P MJ N Xb M cK \HB