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

\HMNV Xb O H QN aL KJ R J WN HY KX \Kd \X ^IHHX O d cK WO I KS H KI i \NB

N

M

S cH O K WX SH U K ^M Q MH ^XO aX H \KH V ^W XO \H T c W HX aG X KO S U I K V

J

O

K

J

W ac Y K WRJ X HN V \M cH M XO WN V aKXY \KHX H \KNP \L cH MK X O WP S HX

Y

Y

W

N

M

XN

J aH \W ^R JV aHKJ X H VJ H VJ H H J KN J H V ^K[ X I Xb KI MKB

X

KZ

X

H

\KN ^M Q MH ^UXOX O MY W RO J WNP aY KX \KHO MKL \N J N V W UPX M

H

\KH

V#

W cH P HS

[

O

K

\KNX

K

X

K

V aG X KO S U I KZ c KM WX KG J K I K[WB

D

'

(

#

!

"

#

#

"

#

!'

!#' ' '"

!#

'

"

#

'

#

!

#'

'#

'

"

!

'

"

"

"

!

'#

'"

!#

!#

!

#

"

!

K

T aHJ ^K THO \K ^V \SN O KY# H cH P HS

N

L

KJ

R

J

WNP g

%

ak

&F

i HN I XNP aMJN O K WX K aG X \KL O H i W HX I XN H aX KO i H

M

^UXO

QN

H aX ^K T H X K aG X KO i HL KJ R J WNP aYJ K G HJ aKOB

f MH SN L KJ R J WN HN V HX \L cH V HX K V MO N K VO H QN ^M QHB

V

^L

\

cH i MH XO O K# WS \N[ \KNZ

M

K[

S

O

K

f

K[

MH aXbX

KG

O

HN cJ K KG X K MH Xb ]J L K ^M Q MH ^XO

Y

N

J

W

XN

O

J d MN M X H V M cK \H T N PX M O M S cH ^U Q\HZW R

!H

O

W

KJ

WW

V

MWB

h L \K cH HS HJ KZ V \H ^HM QJ KM Xb X H \KH V# cH P HS KJ L H KSJ KX cH cH ^YB

#

MY

K

V

MO

N c

HX Sb M XO H K H[ K M V \H XNg %D

&

N

M

X

K

Q

J

HN aHJ P \W c ^M \MWL cW K V SN G J MK aXNN ^[ \N

\

^HX

O

V cHN N `JB

X

W

UPX

M

H[

\KX

O

WN aXb J K KXY

WR

SP

M

L

\N

J

N

V WXb L N Qe

^

aN

[

KS cKJ K H

L

\NJ

R

Y

W

W Ld MN N d G MYH \KMW[ \KZX M XO WO \HN O i N Mb aG X \KO G WN LB

I

SN

Y

O

K

WS

J

N cKJ \KZWI KX

V

\HJ

K

O

K

\RMW

X

H

F

[

cK aWLN \P O J d

G

WZ i HZ `J H ^R \H h L KM S cHJ N H cO cW

`

WXb

S

HX

T

N

J

RN# cH HSb J H L ^KB

M

O

\KH

H

VJ

H

HZ

IJ

N

`

^V

\Y

W

KI

MH

L cKO \H

[

SN

H[

K

M

KG

N

J

J

HNP

T

MH

KXB

WSb J P W O K R V KT J MK Xb V Wi N J \HO VJ HN h

KI

Q

H

T

HM

V

WX

H

V

WXN

Y

N

J

K

X

SHb

J

MK

XN

R

X

\KHi[ J HNP aV HT c ^L \KG N aV M S cH ^HX L \N J N `L NB

i J HN HO O cH HJ dZJ i X HZJ K ^V \O WJ J HN Z KI Q HZ X H \KN KXJ KMNB

f ]Y WRO i N Mb O \N J M X J K# aH cH HSb \L cH S KT N S \KN[N J WSb J K \HHB

\NV

O

K

K

\R

J

HN

HN

^Y Sb ^X

\

^D

O

Y

Hg

W

% &F

Y<O

?=

!

<

[=3

Y

K

WR

S

^M

Q

MH

XO

HJ

K

HO

SNP

J

N

HJ

W

KI

Q

H

>; 2M RG cD\

O

N

^J

S \[ J WN

_

`

X

KZ cN M N `L SN J N

J

MW

X KSb Y \K O H KS U N

`

KJ aZG X \KWB R

J

HZ i N Z O Y S cW O KMJ O K V WX H V WXN Y aN

L

\H

ML

Y

H

XN

O

J

Nd

M

S cH O K J WN Z aO J MH O WTB

H dO W i N Z O

\N

J

M

X

J

K

MY

N

Z

N

J

M

XN

^X

X

cH# HSb aO \RHS K V O K \RMW X H X Y W T HL \NB

J

!W

\KYJ

V

Z

V

WX

H

V

WXN cKYNe J KG Y W

L

\HMH

Y

WSN

Mb

M

N

J

X

\HMH

WN

V

ZJ i X HZB

X

H [ K J ^WG J H N J X \HMH G MW XN G J K

\KIW

RO

K

J

WN

H

O h J H MY K V ^J N O \H MN HXB

L

KS

^G

N

S

N

N

RG

MYH

K

HN

V

WX

H

V

WXN

G

MYH

K

H

cO cW

`

WXb

M Hb V S HX L K RT HZJ i X HZJ WN

#

V WX H V WXN Y W V

\P aHJO M H V KT HX IXb \KV WSN RO K J W K aY Y W I

X

K[

J

N d KX SH MbK

L

KSJ

KZ

\KV

WSN

R

`

WN

\KL

`

MH

W

S

K[N

G

MYH

K[

O

O cK W J G W H

[

O

KKB

MH

K

XP

K

X HSb J KM XN c N H

!KI

M

XO

HJ

K

[

O

K

P

\K aX Y W O i S K M c Y K

WR

X SHb M XO K VJ L \HKXN O \K G HNB

LN

BH

BV

L

M

G

\Hi J HNP cP S N MG N M S J HNP \L cHN Y WX O

!K"

MW

S

O

K

I

S

L

\HOVJ

H

O

O cK W aL KO R KSN S L KS ^G N Xb

[

^S

I

Y

KN

\HH

^R Sb WX O \KIL S H V \HWB R

\WJ

W cKJ KN RL \HOd V MH X O \HOVN KI S MW XN L N K MY W S K[N G MYH K[

^MY

XO

HJ

K

V

^N

J

X

SH

Y

H

^]X

\IWXJ

Z

V

HX cK aMKL X O WN O i N Z H[ K O W KXB

X KSb Y K S K[N Y W V aKJN ML HN

`

WSN

M

X

W

VL

KO

G

N

M

SN

X SHb J KZ J ^WYHN MB

i H V HX cK \WH R KS U N

`

Z

\KIWXJ

Z

V

HX cK L N K MY WO O cK WN O R MH XJ J H

O cK WN \HTL c HO M H[ KM K cR WJ Z N V

N

L

^K

I

SN

Y

O

K

WJ

Z

J

W[ cK \J WbB

WI

KX

!MW"

S

O

K

WO

KI

S

MW

XN

X

H

\KN

L

N

K

MY

W

S

K[N

G

MYH

K[

OB

J

K

^WVL \W ^WXV WX H V WXN G MYH KZ S K[N Y N X H \KN WS

[

\KNX

VO

K

I

SN

L

MOPK

Q

J

H

Y

J

W

J

KN

G

MYH

N

VN

MG

N

M

S

J

HNP

V

MK WXe ^J N O \H M WSbB

M

S cH O K J WNP aL cK X KT HJ HO Y J W cN c WX MY KZ cN M \H X WN

`

E

[

cK aW

O cH ^N Q d V WX H V WXN G MYH N d S K[N Y O K MO K H[ KL Y K KS J HNP [ KL \HHON MB

\!H

[

HZ \bO HN G" MW S O \K cKN SP M N UJP E E

[

cK W ]J cKN J N R

#

V

WXN

G

MYH

K[ c Y K

WR

X SHb M XO W X H \KHP V O P S UPX M f \KIWXJ Z V HX g cK

N

W

I

KS

\HY

^L

J

NV c MK XN T J HNP NV L K M K cR J WN U V HX cK O K O W KXB

Q

MH

XO

P

S

SP

M

J

W

V

Wi

N

J

H f

\WSB g \[ ^L KZ

J

WN

J

%W

&F

MY

N

Z

O

O cK \WOY V W Nd MG N M S J HNP O MY W RO J WN Z O EB H

[

cK ^MKB

XN

G

MYH

K[

O

O cK W I S W M WPbX h J W W

%K

&D

h

! O

W

X

K

V

WXN

HGB

c] J KZ N RL \HO \WIdKX E L K M K cR J WN U WS

[

\KNX

V

WO

X

K

WVB

R

WX HSb M XO W ac WJ

K[

O

D

\K

^V

S

W a ^c O K S HXO P \KU Q ^U L \K cH HS J HN

U

\KV WSb JK[ c Y KWB

J

G

^HUJ

L

MK

S cH O K WX SHb J MKXb \K ^V S aL MK S cHJP N RY KX \Kde

X

K

Y

KX

\KK cH O K \H J H K

h""

Wi

N

J aW cf Y K W RO P W X H \KHg ^V aN Q HX KYB

G

MYH

N

Z

L

N

K

MY

O

O cK O aK X Y WN V \KIW R K aPV O P S HPX M KXY \_XN H VN M XN aJ

Y

K

WRJ

P

W

X

H

\KH Ve W

X

KJ

O

KP

W

KXY

\_PX

W

N

M

XN

W

J

O

X

K

V

WXNB

[

K

O

O cK W

G

N

M

S

J

HNP

L

\MK cH M XO K VJ W d KT c J HNP M KXO HX M ^UO Q H[

K

S

K[N

G

MYHKB

O

R

P

KS

U

QN d O W X K V WXN G MYH N c Y K W RO WXb X H \KH

V

\KV WSb J K[ N MB

N

MY

WS

[

\KNX

VO

K

N

M

KXO

M

HX

^UO

QN Nd V V Wi N J \dL \K[W V aKLB

WO

RN

XN

HO

G

N

M

SN

X SHb J KZ X HJ dN Y N M X WS K V K QJ V M XN ^V S K V cP S KLB

%

:3

B

L

D

@S

Z @I1 B/S M

@? I D/\ VH @C

B

LM 2

@

7G3

SN

Mb

O

K

R

V

KT

J

MK

XN

O

P

O

S

J

HNP

\L

N

H

^V

Q

MH

XO

HJ

K

S

O

H

L

K

^KS i \WJNd

J

N

Z

M

N

M

S cH O K J WNP NV aO cH ^N Q NV P M O M HN V KXN Y ^HY Sb ^X \_ ^RWGB

M

K cHN J J HN U N ^RG HJ

K[

\Y ^[ WJ \HZ L K MN d KS K[N G MYH N \dL cH M X O W SHB

]M

KI

Z

N

`Y

S

L

KM

S cHJ N \WId

!KX"

MW

S

O

K

W

I

S

L

KMOP

Q

J

H

c G aW L \KN O W i N ZP M J W c MK XN T J HNP X H \KN S K[N G MYH

K[

O

O cK W

\WI

KX

W d I S J W V G H J H ^L Xb V cK \SHN O K J WNP \Hi J HNP L \HIH \KJd RB W

X \KJd W d cKN PX M R W KG J Hb Y \KKXY N \HHO VJ H HN J X \HWSO hXN d

\L

O

W

L

K

^KS i \WJd R cW G W N ^MYM XO HJ

K[

N

J

X

SH

Y

H

X aW \Hi J HN HYKB

N

J

X

SH

Y

H

X ^L \N O SH Y G HXY K V ^O c SH J HN \UY ^[ \WL N H ^V Q MH XO HJ K

L

K

MNW

V

HX

\N

L

^KS i \WNZ

[

KS

O

KJ

K[

V

K

R[

WN

L

KN

^MYM

XO

HJ

K

^V

X

O

K

J

\HZ

L

K

MN d KS K[N G MYH N dN J \HZKSN J O[ N M XN G MYH N dN

M

S cH O K J WN Z

c HL MK S cHJ N d H[ K M WX HZ N c Y K S cW O K MN J X H RJ O K HZ i N \Hd ^R Sb WXB

N

J

\KV

`

WN

J

L

W

\NV \HKSb Y S \KJd X Y H M X OKMK XN ^J[ X Z O \PB

N cP S c

\

^N[ d M S KT J d MN M X H VL \H cH G WN

\Y

W

X

\H aWKXY \KWP V KT HX I Xb N J X \HMJH W

O

P

S

S

M

KI

KZ

V cK SHb c MK WX KG J

KI

Q

H[

K dB W

Y<O

=

=

<

[=3

X

H

\KHXN

Y

K

V

U

IN

Q

O

H

V

\L cH M

WXB

:3

B

L

D

@S

J

KZ

L

\H

L

HN

MY

KZ

MO c W U QN P MV IN KS K[B V

W

RJ

Z

N

M

H[

K c SN X SHb J KZ N KI M XP K X SHbB

Y

X

H

\KN

IN

KS

K[N

G

MYH

KZ

O

KS

U

`N

MOPB

\W

N d X Y H ^X

\_

WO

RN

O

O

W i N ZP M N VL cK d cK

S

Y

H

X

W aM HN V KXN Y N ^Y Sb ^X\_O G MW XJ MK XN

J

\HZ

L

K

MN d KS K[N aN ^MYM XO HJ

K[

N

J

X

SHB

M

WN

V

IN

KS

K[N

G

MYH

KZ

X

H

\KN

O

KS

U

`N a

S HX

KM

I

HJ

K

JV

K[

RJ

WN

V

WSP

M

O

L

\KKB

!MW"

S

O

K

J

\WL

P

KX

T

J

HN

L

MK

S cHJ N d

J

N

H

V

HX cK O K cN \MYHXJ KZ V WX H V WXN Y aN

Y

K

W

RO

WS

MbK

`

SH

MH

\KIWJ

R

V

L

\NVJ

HHB

N[

Y

KZ cN M N `L SN J N J ^WY aO Y KX \Kd

R

M

V

HT

J d M V WX H V WXN G MYH KZ SKB

O

W

X

K

V

WXN

G

MYH

K[

O

O cK W

J

VN

^[VJ

WN

X

\WJVJ ^WWY V aHJ MK X O WP S N

M

S cH O K J WN Z L KL N K ^MY

MO

N

K Nd c HZ KL \NVJ H J HNP cd cH ^YXN O J d MN M X H YV c

\

^N[ V MH X MH XO J HB

M

S cHJ N H S HX MO K HZ T N J RN \!H

[

HZ \bO HN G L MOPK XN \SW \RWI KXY H

S

J

HNP

\L cHN Y WX O K J W MJK O K H \KIWXJ

K[

V

HX cK WO E

B

E

F

[

KB

\Y

^O

K cK M XO K V J WN J WO EB E

[

N

\L

\K[W

V cP S N MG N MB

cP S L N K MY WJ ^WX \WSb J

K[

O

O cK WO N MG N M S J HN O MY W RO J WN ZcKL

G

N

X SHb J Od \! L \K[W

VL

N

K

MY

WO

O cK W \L \K[W

Vh

Q

J

HN

]J

M

X

WS

O cH ^N Q V ^G MW XJ N Y K V M K cR J WNP cO ^Jd N W I KS

H

J

RWB

X KSb Y KO X H \KHNX G MYH N Jd G WN J J WNP aKdJN O N \Ld Y W XN G MYH K OV L K SKB

M

J

WN

\HL cH V HXJ KZ KI S MW XN R cW G WN N M W V W R cW G W WO O N c

H

\K ^V S

Y

WN

V

\KIW

R

K

V aKY LV b UX \H ^L

\

cH S W[ HXP M J H WS

[

\KNX aWV L KNB

M X O WN Xb

h"

O

N

Xb

O

N c HO MY W RO J WNP ac Y K WR X SHb M XO KY KX \KK[ M S cH ^HX \L cHKB

J

G

W

H

[

O

K

P

\K aR cW G ^W a \Hi J HN HY KX \KKZ N Q HPX M aJ cW \KL cH M WXB

W

KM

J

R

J

WN

X aK[ G X K WS

[

\KNX

Ve

\KV WSb J K H R cW J WN H

MY

K[

O

O cK W

WL

J

KN

VJ

WN aG X KO G N M S J HHNe

X

KG

MW

XJ

Z

M

S

^G

WZ

S

K[N

HGB

X

H

\KH

V

M

V

D

Y

Y

W

V

J

R

W

H

V aWJ RO W HPX M O W X K V WXN G MYH N V c Y K WR X SHb M XO K V

W

ML

KM

IJ

MK

XN

h"

c Y K W RO WXb X H \KH V

X

W

ML

MK

IJ

MK aXb

T

HJ

Z

WS

[

\KNX

VO

N c \HL \K[W V

P

RY

O

K

\L

\K[W

\VN

O

K

J

WNP aJL W \NV \H

a \H WSN ^RHX \L cH SKB

HX

WS

[

\KNX \HiV J HNP R cW G aWN \WL \K[W VN M X aN ML KSb P ^R cKN J N R

Y \WHi W HPX M R cW G W W M L K V K Qb U h"

"

WX

H

V

WXN

Y

\W

\RWI

WX

WOB

()" $(%#

X

K[

J

HL

JP

K Xgb

J

J

H

O

WN

M

XN

X

KL

KX

K

VO

ML

KN

V

J

WS

J

\HW aR ^cN O SP Mb aY Y WP V K[

MN

J

HO

X

K

V aG X KJ G W WSb M XO KL S K d K aHWO X K V aG X K M SN i Y K V JV K[

G WSb M XO aWKNJ H KT N c WJ K MY WR S JV H aG X K

[

S

O

WJ

P

W

\KIL

S

H

V

W

MKB

i SH Y J H ^V aIRO Hi HJ Z J W KG \H cHJ KZ \I cH Y K ^VJ N M XN G MYH K[ WJB

f W VJP H

[

^S

I

Y

K

K

HO

L

G

H

WX

S

J

HN

\HL

N

K

O

R

SH

L

N

R cK aK[Y c P W L \NB

RO

KML

KN

V

J

J

WN

Z h \HZJ O KN G W

!K"

MW

S

O

K

H

^MY

N

\M cHN ML HN

`

WSN

M

X

O

K

L

^KY Sb ^X \KS K[N M HN V KXN Y H

L

KG

\HL

^J

X

K

NV

RN

M

X

\KN

\W

N d X Y H ^X \_ aNO O R WSN KT N O S HJ cH N MB

I

SN

\L

N

K

S

UM

X

\N \O K J W N \L O K \H J H J W KI i N \KJ V V WX \HWSN aH

M

KN

`

WSb JB KN M X \KNG MYH NNV Y W X \KWN !KVXO HX M ^UO QN H [N L KX H R

M

XN

G

MYH

N d X J H c J H NP

`

aMOdO K U KG \H cHb M L K MK X O WN V dN M c

\

^N[ NV

\L

O

W

L

K

^KS i \WJd

MK

X

O

WP

S

U

QN dO M VJP H U QN d c

\

^[ c

\

^[ W M XN SNB

KI

S

MW aKXJXN Ki J HNP \L cH V HX O K N \L O WN S WL KS ^G J HNP J O K d MO KZ M XO

h

Y

W

X

W Nd \L O WN S W d L KN M O W HPX M S K[N G MYH P W V cK SHb \L cH V HXJ KZ

D

Y

WN

V

\KIW

R

K aSV K[N G MYH P W \L \K[W

V

W

MK

X

N

K

X

N

RY

J

K

G

HJ

K[

N

^R

T

HN

V

H

U

QN

P

Md

\O

WN

S

K

D

G

N

X

W

HPX

M

Y

Y

W

,f

-N

M

XN

J aKMH SN M XN

J

h

Y

J

K

`

HY

WT c

K[

O

\WT

J

HNP

M

X

O

WN

PX

M

X

KG

Y$

WY

W Xe cKN JB

^V

S

L

\HKO[

O

N c WJ W RO W UPX M

'

aWO X \KK[e

!

[

c H

e

\L cHN Y aWXW

e

X

\HV$

\KB

,

-

,

-

,

-

D

,

-

D

^SV

K[N

Y

N

\L cHN Y WX O K cKJ

K[

N

RM

S cH ^U QN Od N c O K

#

! !

\L cH M X O WP S HX M KI KZ Y J K G HJ Z J WI \K \KB

#

\Hi J HN U R cW G WN aL \K ^G W HPX M Y K LV b UX \H

^

R cW G WN J P W RY H

X

K[

N

MG

N

M

S

J

HNP aWL N K MY O O cK aWL \N O P cK Q H[ KY

M

WX

KG

J

KZ

M

X

L

H

J Hb UL KSJ KX \L cH V ^HXJU KI S MW Xb

N

\K ^V \SN O ^KY

M

X

W

]X

\L

\K[W

VN

M

X

WL

\NX

Y

W

K

VL cK d cK H \X ^IHHPX M L KN M WXb M cKB

O

O cK K VO c WJ K VN MG N M S J HN

Y

W

O

K

WL

\NX

K \KSVb \L \K[W VNB

\KV WSb J

K[

N

MG

N

M

S

J

HNP

Hi

J

HN

H

R cW G WN P O P S HPX M O X Y W K V M S ^G W H

X

Y

W

SN

X

aKL \NVJP H HPX M V HX cK \H R KS U N

`

Z

M

S cH M XO N

H

\K ^V S

P

S

X

K[

G

X

KI

O

P

MJ

N aXb

MH ^Xb XO \H T c J HN H K X K V aG X

K

\K

^V

S

WMH Xb S K[N G MYH K H