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

*

*

,

-

V

H

V

]

I

G

J

H

JV

KT

MH

XO

W

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

aWJ G H HXB

^J

Y

NP

`e

"

#

"

!

(

#

"

'

#

"

a'W

Xb H[ KJ cH J W KP S J G H HXY K[ JV KT MH XO W MH Xb N \HXbX aHNG HXO \H X K aH

,

-*

SN

I

KJ

HL

\N

J cW S HT N

,X

-

*

L

cK JV KT MH ^XO

\HB

MN

G

MYH

KZ

X

H

\KN

JV

KT

MH

XO

S

H

VJ

H

X

SN

I

KL

\N

J cW S HT N aX X H

\Z

"

!

(

#

'

"(#''#"

,

-h

Y

S

MWB

M

SN

*

a

X

K

KIe G J P W d \W Y W X \HMN XN G MYH P W

[

c

H

e

^J

Y

NP

`

,

,

-

O

N c

W #

'

#

"(#'JV

KT

MH

XO

We

X

K

JV

KT

MH

XO

KL

\W

c HZ M XO N X SHb J dG N M SH

^M Xb J Y H KX \KK

H

N

Y

\MN

O

K

WJ

K

H

JV

KT

MH

XO

KN

*

e

\KXH

RY

K

#

J

KZ

V

WX

H

V

WXN

Y

HN

X

HJ dN G MYH N Jd ^WYW d

G

H

HXY

P

W

S

K[N

Y

W i \N Y K KN ML KSb ^RHPX M O M O \KH VJ H KZ L \N Y S cWB

J

R

G

W

J

HN

Z

,

-

N

M

XN

J

W

aNV HPX M J MHG HXJ K HG N M S \KLK V ^HT X KG J dN M XN J KM XJ d

G

J

HN

H

V

aM KXO HX M ^UO QN VY S MNW G MYH K^V S KT

b

N

aN SN

T

WX

\KXHY

^R

c

HZ

M

XO

N

X SHb J dG N M SH J G W H[ O K P \K aV HT c ^J RWB

cP S O MY W RO J WN Z h \MKL X HZ i H V M S ^G W HXN J R G W J HNP L \N J cW SHB

X

H

V aG X K c L K ^MY W HX Y J K XN ^WSJb J K HG N

S

M

K '

"

'"

!

"

"

#

"

G

H

HXY

P

W

S

K[N

Y

W

KX

SN

G

W

HPX

M

KX cO ^J R G WJ KZ Y S MNW G MYH KZ S K[N Y N

#% & '()"%

,

,

-

,

-

X KSb Y K X K[ c aWK[Y c W

WN

*

G

H

HXY

K

H

JV

KT

MH

XO

KMH Xb

"

#

c#PaS X H

*

cP S Y KX \KK[

Y

Y

W

N

J cW KI G J NV

cW J G H HXY N NV JV KT MH XO WN V V KT J KN ML KSJ N Xb X Y WN HT H L K \HWN

`

a

##

$

N

SN

** ,

-

N

J

G

W

H[

O

K

P

\K

a aN

%

"_

V

KT

H

V

X

L

H \HbO MH XN L JP K XN

"H

#'

"

!

!

*

,*

-

*

,

-

]L

\

cH P SH H VJ G H HXY N H S K[N G MYH N H L K \HWN

`

,* -

N

,* -

KS

W[

H

V aG X K

O

WS

,W

-

J

H

X

KSb

Y

KY

S

MW

N

G

MYH

N

HJ

R

G

W

J

HNP

a J KN S U I cH

\

^N[ HN RN J X \HB

G

WN

J

W

UX

L

\N

J

N

V

WXb

,* -* ,

-

,* -

'

#

#

!

"

"

!

!#"

!

#

e

X

K

\L

L

K

KN

R

N

`

J

K WSb J HL \HH VJ H H

P

S

X

K[

G

X

KI

L

\HHZ

XN

Y

J

G

H

HXY

KZ

S

K[N

Y aHJ ^T J KO MH XN J G H HXY N H

#

*

*

*

*

*

N cP S O X \KK[ J \H O W J H M XO W

*

*

*

*

*

O

P

R

Xb*

K[ c W

P

S

X

K[

G

X

KI

^I cHN Xb P M O J \H O W J H M XO W

d

a c MK WX KG J K

MY KZ

S

K[N

Y

W aL MK \KXJ H P W J WJ G H HXY N d JV KT MH XO W aId ^c HX J Y H S

MW

N

HGB

S

O

H

KZ

WS

[

\HIKZ

M

V

F!S

cH O K WX HSb J aKV KT J

KT

N c WXb aG X K

Y

WN

V

\KIW

R

K aVJV KT MH XO KJ G H HXY N d JV KT MH XO J P H O P S HXP M ^IB

MN G MYH KZ

Y

WN

V

\KIW

R

K

V aJ G H HXY P W S K[N Y WO MY W RO J WN Z J P H O P S HPX M Y S MWB

c] J Y W K

,

-

F

,

- ,

- ,

-

,

- ,

-

,

-

,

-

,

-

,

-

,

-

\! L

O

W cH SN O X KT c MH XO W

#

"

#'

!

'

"

#'

!

"

# '

#

!

!

D

#

"

# '

#

!

!'

,

-

,

-

,

-

"

#'

!

"

#'

!

"

"

!#"

#'

'

"

!

B

YH 1 D3 [< >M S 2G R& GHI P @M BLI S HI G3

J

MK

Xb

G

H[KB

SN

I

K

X

K

MOP

RJ

W

K

M

S

H

VJ

H

X

WN

V

M

S

^G

WZJ

K[

O

L

\N

\

cK H

RO

J

WNP

NV aM cK \H T W QN NV ^WRJY N HJ WJ H KI d cKN V MK Xb N SN O K R V KTB

N

J

KZ

MN

^WXN

`

c] J Y W KO T N J RN L \Nd cKN PX M N V HXb c SH K M O MYWB

RO

J

WNP

NV aKXY \K ^H XO \H T c W UX J WSN G N HN SN KX ^MMX O N H X KZ N SN

S

MW

N

G

MYH

P

W

S

K[N

Y

WN

V

HX c SH W M

#

!' !#O

MYWB

X

H Nd SN J Od MY W RO J WN Z Y Y \K ^T W U Q HZ c HZ M XO N X SHb J MK XN

Y

W

MG

HX c KI O W S J HNP J O K d J R Y W O K aKOL R P KS U QN Od \WT WXb KXJ Ki J HN H

cK" WSb J P W S K[N Y W M \X N K PX M J W MJK O K H S K[N Y N O MY W RO J WN Z R W

'( '()"%"

X

Y

K

V

K[

L

\N

J

N

V

WXb

X

KSb

Y

K

J

R

G

W

J

HNP

N

SN

M

V

\ O W J H a cP

S

L

\WWS HSb J KZe

aF h M S ^G W HY S

MW

N

G

MYH

KZ

S

K[N

Y

N

M

SN

O

P

RXb

*

a*

aX K cP S L MK S cH O K WX SHb J KZ M d H V X Y K

J

J

HNP

J

G

H

HXY

N d S K[N G MYH N d L K \HWN

`

Z

J

W

RO

W

HPX

M

'

#

!

hXN d M d H V W d ^WY RO W HPX M O d cK N O d cK

?

H

^R Sb WX O L KSB

%

2 @V LM G I2 HF

GC

M

I

2V

GD

HOC

@H

BCM

UH

G

LT

G?U 3

\SH

HZJB

KY

J

K

X

Y

W

XJ

HM d H V

\MN

aaW

Le \WWS SHb^UJ \MN

a

S

Y

H

X

\NG

MYH

N

H

#

P RY W S K[N Y N O MY W RO J WN Z

cK" WSb J P W S K[N WYe N MG N M S J HN H>e M \X N K PX M R W MG \HXMW i \N J HNP

#

^J Xg aKJf R Wg aHX O f \HN g aX ^f I HT c Jg aHMf KJ V O H W HPX Mg

Y

Y

W cf Y K WRJ g aKfL \K O K \H ^J[ Xg K aJ f cH Y K WRJ g aK J f H L \K O K \H [B

J

R

J

WN

Z"

KT

J

KJ

WO

R

WXb

X

Y

WN

HO

N c_ V cK WSb J MK XN

X

K[

XN

L aW

&

\W

Y

W

X

\HMN

XN

Y

N

J

Wi

N d

If

H

\RW

SRN

G

J g K

M

XO

H

L

W

\NV \H afP KI R WX SHb J g aK \Wf \RHi J Hg aKf RL \WH Q J Hg aK

M d \W Y W X \HMN XN Y WN V c HZ M XO N Z N L MK X ^L Y WN V S cU HZ O KI QHB

&

X

K

V cK WSb J KM XN aMOP RJ W H

J f O H K R V KT J g aKMf S ^G WZJ g K

QN

HX

WN

Y

H

!

V cK WSb J MK XN aYY W J f H KI d cKN gV aK O f K R V KT J g aK

&

X

KO

MY

W

RO

J

WNP aM cK \H WTB

P

S

HPX

M

J

WO

N c_

%

ak

&

W

SRN

G

W

UX

\NXN

L

W

V cK WSb J MK X HZ aWTY c_ Z N RY KX \KdL cK \W cRHB

G

N

M

S

HJ

K[

JV

KT

MH

XO

WO

K

R

V

KT

J d \NV gO K %

&

c HZ M XO N X SHb J Z \NV aOY KX \KK V V J W d cKN P aMVYe Y W cKN J N R I MHB

O

WXb

Y

Y

\WH

WSN

R

WN

`

U cKJ KZ N R JV K[N d V M SN V Od K R V KT J MK X aHZW

c KS T J K I Xb N X cHZ M XO N X SHb J Z d cK M KI XN Z V KT J \KMW V WX \NB

c HZ M XO N X SHb J MK XN G H[ KJ HX aKJN K X K V aG X K c KS T J K I Xb N SN J H

J

^WYHL

MK

XP

KJ

KL \Nd cKN PX M

[

O

K \KNXb J H X KSb Y K X K V aG X K MH Xb O

N

J

HX

J

N

Y

Y

WN d c

\

^N[ Od \WNJ W X O K KY Y W O KI G J KZ T N J aRN X Y W N O

fP S Y S

MW

N

G

MYH

KZ

S

K[N

Y

N

O

H Qb ^M Q MH ^HXXO N SN J ^HM Q MH ^XO aHX

RO

J

WNP

X

\K[ cK WJ W RO

UX

W

" !'

N

SN

V

SH

K

V

MH

X

KO \KiL S K V aKJG H[ KJ HX O c WJ Z V K VJ H X h MYWB

SN

I

K

M

Y

J

K

M

X

WN

`

HZ

X

K[ aG X KG KXB X K V KT HX \L N K R KZ XN O I ^c

^

Q

H

V

*

, ,

-

[

c HO cH J H

KI

KJ

R

G

W

J

HN

H

,

-

Y

N

MG

N

M

S

J

HN

U

Y

W

MN

K

V \ ^W \W

Y

W

J

K

H

`

a

!

!

"

#

#L

KS

^G

W

HPX

M

R

W

MG

HX c KI O W S J HNP

X

KL

KS

^G

W

UX

"

#

?#

,

-

, ,

-

M

SN

T

HY

N

MG

N

M

S

J

HN

U c KI O WN Xb Y W MN K ^V

,

-

MN K V

"

#

?# L KS ^G W HPX M R W MG HX c KI O W S J HNP Y N MG N M S J HN U Y WB

"

!'

X

KL

KS

^G

W

H

VN

MG

N

M

S

J

HN

H aWJ RO W H V K H X

W

Y

T

H

"

#

#

#

"

2B

SI

D

@

RG

DN [

L

K

KSJ

N

X SHb J K \HL O WN S KO O cK W

,

-

,

-

L

K

KSJ

N

X

SHb

J

P

W

Y

W

MN

K

V

W

#

!

'

!

D h L \K cH SH J HN

H

\K ^V S c KI O WP S HPX M J O KP\WWR

L

K

KSJ

N

X

SHb

J

Z " !

"J

R

Y

W

b

Y

S

MW

X

H

\KH

V

M

O

KL cW W HX M Y S MW KKIVB Q HJ R G WN V

d

\K

^V

S

Y

S

MW

N

G

MYH

N

NV

X

WI

SN

`

WN

V

M

XN

J

MK

XN

W

L

\N* cP S\K ^V S I H RJ Y W O K

J

K

K

M

O

KL cW W HX M

^c O K S HXO P \KHX cO ^V ^M S O KNP V

]J

R

G

WN

O

J

WN

H

J

W

RO

W

HPX

M

!'

#

!'

#

MH

SN

J

K

K

)+*

J

R

G

W

J

HNP d MO N K dL \HH VJ H d

]

I

KJ

R

G

W

J

HN

H

\K$

^V

S

W

J

W

RO

W

HPX

MKIB

Q

HJ

R

G

WN

V aKZMH SN

*

L

\SN

U

I d

\K

^V

S

H

L

\N c W UPX M J R G W J HNP N R JV KT MH XO W

L

KJ

Y

HKB

\

^N[ NV M S O K WN V aL \L K KN R N

`

J

K WSb J V L \HH VJ H V

N

M

W

V

KZ

,

-

KX

\KIWT

J

HN

H

^M Xb c J W

W

\K

^V

S

W

,

-"

"

#

\K

^V

S

e

X

K

$

Y

K

WR

X SHb M XO K c J W KO

%

F ak

&

"

#

?

?"

#

!'

#

!

!

\W aY O

N

O

WS

J

H

XJ

KN

MG

N

M

S

J

HN

U

?

%

akD

&

MG

N

M

S

J

HN

?

H

a \MW i \HNJ K H R W MG HX c KI O W S J HNP Y W MN K V \ ^WB

RO

W

HPX

M"

! " !

h \KXNL O J K V M S ^G

H

"W

# ! " !

cK" WSb J KN H MG N M S J HN H aM cK \H T W Q \HL O WN S KO O cK# W cH P HS aWJB

\K$

^V

S

W

G

N

X

W

HPX

M

Y

Y

W

O f K R V KT J Kg

O

W

UPX

M

L

\W

,

-a[ c H

*

,

e

-K

\V

^S

WN

KJB

R

G

WN

O

J

WN

H

\K

^V aS L KN M O W H V K HJ N T HP S

X

\KMW[

V

WX

\NB

J

W

aX H

a

Ne Y \MN O K WJ Z S H VJ H XNe

O

WJ

K

HJ

L

H ^M X K H JV KT MH XO aKe

\H

S

Y

H

MN

O

J

K

H

IN

J

\WKJ

H

KXJ

Ki

J

HN

H

\N

L

Y

H

M

\X

N

K

X

V cK SHN O N c

W

a[ c

HNe Y \MNKB

KM

I

K

H

V

MH

X

K

RJ

WN

V

W

HX

M

H

VJ

W

XN

Y

W

\N

L

Y

H

\! cHN \W SRN G J d M H VJ W XN G MYH N Nd J X \HL \HX WN

`

Z

V cK WSb J d S K[N Y

"

'

"

'

"

"

!

'"

'

# " "

"

"

'

"

!

'

#"

&

"

!#

"

#

?

?

# " "# "

Y

K

WR

X SHb M XO K c J W KO

%

F ak

&C

"

"

"

#

?

?"

'#

!'

#

!'#

Y

K

WR

X SHb M XO K c J W KO

%

F ak

&F

"

!

"

#

a

?

?

#

'

" '# !'#

!# "

!'

#

!'#

"

,

-*