Пайсон Б.Д. Математическая логика

,1.8

Paccrlcrrpnr\{ 3arTr{cb ((1")(y

<

z))

-+

(z

:

r).

Bra4nrr,

vro

R

y(:.rIoBlIII

r{NlrlJluKaqrrrr rtepeNrenmafl z flB.Ilflercg

cBf3a,unofi, a

B

3aK.rrroqeHr4r{

3Ta

)Ke

nepei\{eHHzlR cno6ogua.

-fereHr.re,

npl{ Koropou

r oguol'l

qacrrl

3i}nr4cl{ [el)er{eHnafl

cBo-

6o11n:r,,

a s

4pyroft

cBfl3il,r{a,

Hir3brBaercs

rcon",Luaueil,

nepeJileHHbLr.

Ko.n.nrr:ux fleperrreHrrblx

3arlpelqeHa

B [Iarerrarlr.{ecxoft

JIofI{Ke)

T?rK

KaK Irprl

3TONr

HeflcHol

ceggaHHoil

unn

cno6o4noft

gg-flgercs

ilol)e\reuHir:a

so Rceii 3arrrrcu (Han1;urrrepr neperreHHafl

z B npnBe-

.'l('l

Ill(

)l\l

BbIIUe

c.[]'.Iilc).

lpurvrep 8.3 II'ycrn,u

n,ped'u't1:,am, :r

<

y

so,dart

?1a

rvt'Ho)rcecm,ae

,17

:

{2,

3, 6};

fu(u)'

(V.r)(rr

<

y);

R2(:r):

(1y)(r

<

y).

T7te69em,ca,

H,a'fi:m.It:

a,) I\I,,(R1);

6)

NI,(R2).

Pcltrerrl-rcl.

rr)

C-)ocrar"nulr

.ra6lnr1y

rrcrrrr{rro(irrr

AJrr

rpeArrKarir

h(y)

.

lJa,nrrcr,

(Vr)(z

<

y)

npe4craB.rrrer

co6oit oAHo\{ecrHr,lit

npe4u-

Kirr. iiilBrrclrrunl'i

or t;no6o4Hoii

rreperrenuoft

g.

floerorvry

r.tcKorlrafl

'ra,6.nrqa

LrcrrrHr{ocrrr

rrir

ruHox{ec.rse A"[

A.rr]r

A;rHHofi

$oprvry"rrsr

6y-

;lt'lT

IIIIeTb

TpII CTpOKLI,

Ktlx(Aafl u3 KOTOpT'IX

coOTBeTCTByeT

OAHOI\,Iy

:rTrarreHrrro

'y

e

]l,t :

2,

il

wnu 6.

Ilpil xaiN4or\{

rr3

yKa3anHbrx

3H:r-

.r(:IlLIfi

y

HylKHo

npoBepnTr,,

4nx

nrc6trx

JIII

3Hayewu:i' r

us M

61-ner

lQfu

,

y))

:I'I.

OrcroAtl rr\{ee\{

rtr6.rrtrqy:

'v

r<y) (Vr)(r

<

y)

,2

.)

t)

o

2

JI

.n

.iI

.I

2

3

t)

.t

II

,II

.n

J-l

2

J

6

I,I

II

.u

.il

49

Taxprlt o6pasou,

HI4

oAHo 3HarreHLIe

y

e

hI He

Aaer

[/?1(y)]

:ra.

floetouy

l\'tu(Rt)

:

@.

6) Cocrasnr.r

ra6nraqy r{crr{Hr{ocrrl

AiIs

rpe..qnKara

.R2(r). 3a-

nucr

(3y)(r

<

A)

3aAaer oAHoluecrHnfi

upe4nxar,

3aBr{cflIl{raft

or

cno6o4noft

nepeNrerrnofi r. AHa.nornqHo

npeAblAylqeMy

cJrytlalo,

rIoJIyrI14I\I:

r

a

r

<a)

(lv)("

<

v))

2

,l

0

JI

V

tI

n

J

2

J

6

JI

vl

W

o

2

.)

6

JI

I

34ecn

BI,IAHo, uro

[1?2(r)]

:"

ttp" r

:2

unu n

:

3.

floeror'ly

M"(Rz):

[2;3].

$

9 @oplra"nr,nr,rii s'iL'rK 1 nopa4xa

.flsanc

-

aro cpeAcrBo Ko/qLrpoBaHr{JI u

nepeAa.ru lrn$opuaquu

o6

oKpyx(am[IeNr

Hac Nrr{pe. B

-racrnocrr)

.*r&me.Mamuvncrcud

itlu'n,

npeAHa3uaqenssuf

AJrfl

orrucaxlrfl

ruarer{arllqecKux

pI

Jlofur{ecKux

fisreHnii

lr

3aKoHor\{epnocreli,

flBJrrrercfl

oAHrrr\{ rls cpeAcrB

KoAI{po-

BaHnfl

rl nepe.Aarru crer{r4aJrr,Hoii

raH$oprrraqlru.

Pasiruqarcr

ecme-

crn6er-cT{bre rr3brKrl) rrocTpoeHHble

rril, oclroBe

vll'tylrTwBHo

BbIBeAeH-

Hbrx

3aKoHorr.lepuocreit, w

{toltu,allb'trbLe

f3blKr4,

tlocTpoeHr{ble

Ha

oclroBe

x(ecrKo

$r.rxcr.rpoaaHnbrx

npaBlrn.

(Doplra-nrHr,rii

ser,rr< crporrrcs

no cJleAyruulrl\r

gTalri),t'{

:

1.

3a4aetc:

unrfiaeum

-

na6op

a6c'mpanmnwrvrcxoAwblx

cI{IvIBo-

"iron

(6yxa).

;0

2. Vxagsrsawrcr,

npalua a

o 6p as o a o'n

LIn

cJroB rI3 cI{t\IBoJToe

ancpa-

BLITa.

I-I,e"rrnro

AaHHoro

n

aparpa$ a

fl B Jlsercs rlocrpoenr{e

fi

o

p

*t o,"'r'u u o z o

.fl,ablno,

L

nop.ndrca,

AJrfl

3arrncv

{topt.u'y.n

-

ocHOBHoro

o6r,er<ra H3yr{e-

HVrfl

B 3TO\I

n CJIe.AyIOqeN{

pasAe.[ax.

A.n$annr

dlopr.ranrHoro

q3bIKiI

1 nolu4rca

BKJlroqaer:

1. Cnrct4uaa,auble

crrtut'Bor1'bl.

2.

Cu.u,eortbL

nepe.lvteHrLbLr

:I:I):D21 . ..,,xrt.,..

. .

,1,.,rs

y,,l96c't

3ir

6y;1cr,r

ilrt()l)lit,

o6t):ltttl'tzl,t

t' rlcIXt\rotllll,tc 1.1 6.v.'xuttt'ri :t;:

:Ij2

-

6yliBofr

'!Jl

:t;i

-

6.rtxtttll'l .z tl r.

,i(.

3.

Jlozuueutue

cu.til"ao"rlbL

-

t.

A,

V, 4,

-,

V, f;

4.

Teru,u,uec$u,e

cu,M7o.nbl

(

)

,

(;tctra,x r'r trl)ilrJa'fl t:t<t-,6xrr

r't

:lil,lll'l

ill.

ctx)'l'llc'll:

l

ll{lI I IIo).

llpanra.na

o6pa3oBitHlrq

t'

croB"

rf

oprrtrllrroro

t3ElKzl, 6y4yr

neo-

A'ITE,Cfl

nO

XoAy

AanbHeii[Iefo

u3.ilo]KeHl1fl.

By4ernr

pacc[rarpr{Barb

ABa

nlrgzl

$opllilrrbHoro

fl3tIKa 1 nopr4-

xa. OHz

pa3Jrr{.{zrlorcfl

Ha6opo\I

cueqlaa.lrbublx cI{I\IBonos

a"ncf asura

(rzrx uasrreaeNroii

culnatnrypoil)

I{ clo(io6o^I

rocrpoeHlrJ{ rlepRrrq-

nr-tx

(e.nentenra,puntx)

$oprryn.

I.

Jfozu,otecrc'tlli

rI3bLK. Ou

npnlteufl.ercrr

npu u3yrreHr'Ir{

BorrpocoB,

oTrlocflLrllrxcs

Helocpe,.4cTBeHHO

K,TOfrIKe

[peA]IKaTOB.

Cnequ

a"nrnbllul{

CI{I\IB

oJIt}rI rI

rorr'Ie.c Kolo

f

3bIK

a flB Jrflror c

tr np e

-

dttrcam,ntrc

cuu4,aoJv)L

pasrfit{Hoii

^IecrHocrll.

B Kaqecrse flpeAII-

KilTHbrx.

clIlvrRo.IIoB

6y4ertr

nplII\I€-'IItTI)

:ltlrJlilBHble

nilTqHCKI{e 6y-

KBI,I c

RepxlII4N{}r

rII{AeKCaI\It{,

yKa3bIRaIorIrINIu luecrrlocrb. TaKt

Harrpr{N{ep:

P(2)

,

Q{t)

,

-

AByr'Ie(trHr,Ie

[p€:..4l{Karlrble

cI{},'tBo.IIbI;

,R(1),

P(l),

-

oAHor\recrHbre

[po.qLrKi]THbIe

cII\IBoJTF'I;

... P\tr)

-

n.-uecrnstii

npeAllKarHblfi

cnrlBo;t

(n

e

ro)

'

lIIpll.rr,rtra.,

no

Ko.I'opoi:r:rrrar(

p;tncrrc'rr,ar

o1'Tlo(:cII

I(

"lotlrtlcctilrtt

(:IIr{Bo"talt:

cril.Ilol'tcl()lrl

IIIIXC.

,)l

B

gannnefinler\r

HaM

AocrarorrHo

I4IvIerb B

pacnopflx(euprrr

rrerio-

TOpOe

trrrcJro

rrpe.qrrKaTHbrx cur\JBoJroB

pa3Jrr4qHori

N,recTHocru. Bce

npeAI4KaTHbIe CI{MB OJIbI,

KOTOpbIe I{CIO JTL 3

yIOTCt

B Onpe4e.nennr't ir

MOrvreHT)

O6pa:yror HeKoTopylo coBoKyrrHocTb, Ha3brBaeN,ryro c'tlzH,a,-

mypoti.

Taxaa coBoKyrrHocm,, Boo6rqe roBopfl, Nro)Ker 6l.;lrl,' u 6ec-

KOHet{HOii,

OAHaKO H:II\.I

AOCTaTO{IHO

paCCNrrITpUBirTr,

KorrerrHble

(;IJt-

HarypL'r.

LTrax, curr{arypa

roruqecKoro

g3blKi}

r.rr{eer Br{A:

o

-

(

Pl"'t), P['"'),

. . ., PJ"'^,)).

C

nouorqt,ro neperrerrHbrx r€

flpc'ArlKarlrbrx

(:rrr\{Ro.rroB

Ai}rrnoii

crrr-

llaTypbl

o6pa:yrotctt stleJvteHm,apHr)Le

tJto7t,u,y,n't,t

BLIAa.

p(t)(:r)i

R(r)(y)

.

p(z)@,a);

g(t)(r,y,

z); .. . 7>(rr)

(:r1,:r2,.

. .,:r:,,).

rlrrc.ncr

neperrerrHbrx

B Ka)KAofi Srerrerrrtrprroft

$oprrry,ne

rorrHo

coorBe'f-

cTByeT

IUeCTITOCTI{ [pe./IIrKaT]IOtO CUN{BO.III,

IOi)TOI\rV

B

i]z]Iru(:rr

3.rre-

r\reHTaplrbrx

$oprrry"r

r{o)KHo onycKaTb

nelrxHlrir

nr{AeKc.

K

g.nelrelrrapHbrN{

rfoprury.nalr .ilorrrqecKoro

q3brKir

6y4errl orrro-

clrrb

raK)Ke

$opuynrr

rur4a

(r;

:

tt

i).

IL

I\pyrofi

pil3HoBr{Anocrbro

<]roprrarrruoro rr3brKa 1 nopa.4xa,

fiBJrfleTCs

nped.memu,uLtr, n3bLK.

on

npegna3rriFreH

A.rrr

r{ljyrreHHfl

.rro-

nuqecKl{x

Bo[pocoB Hefiocpe.r{crBenHo B lpeAr\rerHolr

(

lrarelra,Tr.rrre-

cxolr)

KoHTeKCTe u 6o"nee ronKo

yr{ur}'IBt),er

c:ueqn$uxy [pcAlrcra.

B a"u$anure npeArvreruoro fl3brK?r 1

uopn4xtr

c:rreqrl:l.rtr,,Ht,re

crr\r-

somr

6oree

pasnoo6pa3nbr,

qe\.r

B .lrorllrlecKor\r. Cnerlua.nbrlbrtrrlr

CI,IMBO.TI ttr\ru

[pe/{r{eTHOrO

fl 3br K a

sB.rrqroTcfl :

.

cL1,Jvt8 0 llbt eatd e

Ltertublr

3 r\e.M,e?|m,o e

(

r,

oncrn,u,n m,

)'.

(11,(\2r...

rdt",

.

cu,rv,aonw oneTtu,t4uti:

r(nr) r(rr:)

"(ru\

Jl

,

JZ

,...,-II")l)U!ll('l)\lllt{'tlll.t{:li(lt\ti;t.tl,tlt;t.l(tl\l(l(lll()('tl,(rll('-

Di}[HH:

.

clt Jvt zoJLbL ornHorae?lu,il

(

n,p

edur;amtttre

ctt.u.a o.n

ur,

)

:

PI-')

,

Pl"")

,..

., PI'"*) .

;..)

Cneqr,ra.nrHr,re culuBo.tIbl nl)eA^rernofo

fl3blKa cocraB./rt:r<)T

cuz-

H,Q,Tt,'Upy:

o

:

(a1,u2,.

,

fr(,.,\;

pr(,rr,),

p|,,r"),..

.,

polr,t*)).

IzIrror4a B

KilqecrBe cnerlr{?ulL,H},rx

cr4ruBoJron

$oprrra"rrbHoro

ff3rrl-

Kit,

rr(;no.nb3yroTcfl

I{3BecTIIbre \raTeIIaTrIqecKIIe

cIlI\tBoJIbI, CKa}KeNI,

:,

L).

l,

n-. 0

(lrra,ri

u\'.,r(,rrr()r\)

rrr--rllr.,p:r),

-

ctil\{BoJ,-Ibl KoHcriIrIT;

:r(2),

'(.2)

,

llil(1)

1,rt,a'.

nor,opo'lil, r'o,rrir'r

rioril)\:l llcr.rJ)i[

O na,

r,r'o.;r

o)

-

culteo.Ilbl one-

pa,rllrr?;

>(2). <(2),

>(2).

<(2)

,('),

11,trl

,

I(2)

-cr{NrBoJrbrorHourerrrrit.

FIi r lplrr rep,

(l

r{rHi}Typir

rJcKoroporo

$oprrtlnr,Horo

s3brKil rro}Ker

rrl)lf;rtlAeTb

TirK:

o

:

(0,

1;

1(Z)

,

.(2)'

<(2)).

l:Jirlrerr.llr,

oArraKo.

rrro

LI B

:)1.or\I

cJlyr{ne Rce cfrerllraJlbHble

cI{rI-

ri().:Tbr

flB.rr.flrorcn

a6c;tprrKTllbr\rrr.

B

o6qelr cJ.rvrla,e

Bonpoc o

npIT-

.'lr\Hrru

(irrl\rFro.[anhr:JbrKa

r(oHKperrrofo

cNlt,rc.]ra 6v4er pacc\rorper{

r;

('.1(r^vr()ruelr

nilpirrltirtl>e.

.{;ta

nocrpoeuufl

s.rreNreHTapuaix

cfoprrryl

rrpeA\rernoro

s3r,rKa

rro'rpt:6vrorcfl

rreKoropbre

AonoJlnrrre.lrbHbre

rIoHfrLIfl

.

ctr,ono,Jr4

c11"217Lm,Ap'bl

O

6y4errr Ht):lbrBaTb

.nro6yro

nocJreAoBaTeJrb-

rro(irr)

(irrrlBo.noR

tr.n$anr.rra,

Bce

(;[cqt{?}.[bHbre

crIruBoJIbI xoropofi

RirflTr,r

n:

rlitunoli

curHaryl)br.

[3 neger'r

florrfl Trre r

n, ep Jil" a

d o,u,u, o, it"

c

rJ

?

11

ur r L.g,p bL.

O npe4e.nerrze

9. 1

T e1t,uo.rr,t

c,u,??t,orn'!JpbL

o rleabll

aeTnctl

clt"o6 o,rlo-

(r

n,'p

o e?t,? Lo

e n,o

c.ned,yt

oui,ltu4 rlpaeu",/Lo.M

:

1".

Bcamtrt

c,rlut,oolt,

att,)erzeu,nozo

J./Le,vnu,rna

a; (i:

I,2,...,r1)

ec'ilt,'b'rnepr\4,

clt

?.HarnypbL

o;

2".

Bca,rcuil

cu-t,t,Bo.n

nepe.LteHu,ot't

:r1 (t

:

7,2,

,

n, . . .)

€crn,?t

rft,e'p,^4,

c'u2'Ho,Tn'yp'bt,

o

;

3". Ec.ntt,

0t,02, . .

.

,0,r,

(j

:

t.2, . . .

,l)

*

meqt*trrL

cu?ttarnApbl

o;

l)""

-

c1r,^46orl

on,ep(n4u,trt1"a

o,

'tno

l'''1

t7r,02,.

.

.,0,,,)

-

rrlep^4,

(:t1,.'H,a,m,'upbt,

o.

4".

,\t'yzrr,:r;

rnep.htoo

cuevarfi,lp,tl

o Hem.

53

I4s oupe.ge;reHr.Ii{

cJleAyer,

r{To

repNIbI crpofiTcfl

I{3 cr{\{BoJIoB

BbI-

Ae.[eHrrrix

sJIeI\feHTOB

4aHtrOit

CLrfHaTypbI

rI

CI{aIBOJIOB rIepeNIeHHr'IX

c

noN{orrlE,ro

cr1]\rBoJroB onepaquli

4a,nHoli

c}IrHarypbl

I{ cKo6oK.

flpnvlep 9.L

Teptr,a^,{1,1 cuztlanlypbt,

o:

(

a;

,1zlt

7'2),,

fl2)l

fl,8./1fl,10n'1cfl'

Tranplrrvrcp, cJloaa

f

(*,o),

f

(r,y),

f

(r,

f

(o,

f

(",y))).

Ilpuuepaatu

TnepJvton

cu?Ha:nap'b,

s

:

(0, 1;

+e),

'rz);

<(2))

fl,alln?orncn"cnoaal

I, r,:tr.r,

r11,

1+1, 1+r,

(1+r) '(r'1).

Cnoeo

2

.

(r

+

7) rre fl.6rlneTnc,fl,

Tnep^4o,^4

cuzttarnypbL

o

.

Teneps

IlI O)KTIO olpe.AeJII4TL

s JIe

I\I eHTap nr,le

$op

lryJIr,I

[peAI\{eT-

lrofo

fl3tIKa.

enerven,mapHo,n

$olt"uytta

n'ercomopoti

cu?HarnApbL

Nro-

X(eT

I{MeTL

BIIA:

o (01

:02),

rge 01,02

-

TeplIbI

AaHI{oit

c}IrHarypbl;

o

P;(01,02,...,gu,,),

r6e P(tt'')

-

rrpeArlKarHuii

c;ulrno.;r

4anuoff

cr.IrnaryptI;

0t,02,. .

.

,0rr,

-

Tepr{bl

grofi

cnruarypbl.

IrIs

s;rer"reHrapHr'Ix cloprry;l

crposrct

6ci.ruee cJIoiKHF,Ie

fi

op'uy

n at

rfroptttanrnoro ff3bll(a.

flpanl

..a

nocrpoenua

$oprtryl

sn.nxrorcq

<-16-

ll(lII\r[.4,Irg

rorl{t{ecKoro }I upeA\{eTHofo

fl3b]KoR 1

uopaAxa:

Orrpe4e"neleue 9.2

@opLvr,y"'tctt't"

(dannoil

cuzHaln'llpu)

uasl'rcaem'ca

crloBo

(ernofi"

c'uzrrarny[)br,)

,

n,ocntpoelt?toe

n,o

cne0ytout,rt''rr'r,

Tlpaaurlalrr:

7"o . B cnnaa oJle.MeHmaf)naa

$top,u;y

Jt,o

nollnernta

$

op.t'tg

Lr'ott

;

2no-

EcLt"u u(r;)

-

fiop,nyta,

zde

ri

-

cao6odna,fl

nef)e,M'ert?La;l,

nt,o

(Vr;)z(z;)

u

(3r;)a(rr;)

-

{topL,tyLrt't,;

3no. Ecnu u

u

n

-

Sop,rr.r"y{LbL,

Tlpl.tlte,\t

nprl

rt'T coedunertuu,

ne

nytortcrodum

rcolxJlu3uu nepe"\4eH11,bt,.L,

rn,o

q,

(z

A r);

(a

V

r);

(u+r)

-rfopuynat.

,

4'u'.

fipgzur

$op"uy,n,

uern.

V

O,'pc,1r,"".rrHmcpuil n

{ropny,rr,l

'filK

)rio.

uiu( onl)el{cilcttnc

<fxrpr,ry;tt,l

iL,tlc-

61tl,r trt,rcxtt::t,ttrA,ttttit,

tut,'rrlro'lct

HIrll"vr('l'rrrlrrrnr{ olrl)(t;{oit(:tlrrarllt

(cv.

.[j

2).4

ll|

,',.,o'rnct'c"trrttr

c onpczlc.;rcnt{ciu 9.1

c.;rc,1ona;o

6r,1 3ilntltl,rnemr':

'(:r,:r:),

+(r:,

1) rr r.

n.,

or'r

t{r,,

/()nyct(a..F

orrpc'^croIIIIyIo Bo"trnrocrt)J

6y.,tcu no.rr,:onax'l,cri

oOIIIcnpulIfiTLIt\{I{

3anttcffNI}I

,

au.;

f!""

,

fl'"'

,

L""

T*x,4.na

crr^rBorroB

crrrlrarypbr o:

\o;

7@'

p(z),r|z))

on

-

(:irFrl{()e

coorBercrBrle

) rro>xe.r 6rtru c.[e,Ayloqurl:

rr

r+

1

;

fQ)

'+

'

:

Pr(''

*

<'

P)2)

*+

,,

ryre

1

€

N;

,

(,

i

-

coorRercrByroulHe

o[epaquu rir orHorrreHr{r{,

lla/x?tIIIIbIe

rl?r

NIHO>r(eCrSe

N.

E<r.nr

rra

Nrno)KecrBe

N nocrpoHrt anze1pauHecwylo

cucnleJd"y

(N:

.r (,

i

),

cocroaulyrc

rr3 r\{}rox(ecrBa

HarypaJ-rbrrbrx

qr{ce-rr

rr

3a-

/[i]rlHbrx

Hi] rJer.{

onepnqnir rI

orlroureufifi, ro Brlecre

c ofiftcanrrbrr\i

tJbIIIre

coorBercrBnelt

,\ no.[yrr]r\r

urlm,ep,rry)ernallulo crru-IBoJIoB

AaIr-

noil r:nruarypr,r.

O6ol;Ha,.rcnne: 1

:

{(N;

.i

(,

i

);

}i.

B

orclii

rlnTepnporitrllru,

cKa;KetrI, cJroBa

J'(:r:.,r),

f

(r,y),

f

(r,

f

(o,

f

(r,y))) (.repr'rr,r);

(Vr)(/(r,

a)

:

r),

lV.r)l3y)P2('y,''),

(ly)(Vz)((Pl('y,t)

A

(y

:

"))

(goprrynsr)

rrony-

rlirlor,

ooorRerorBenuo,

Tt),Koii nng: :t:

.I,

lt.A, ,r

.

(1

.

(*.y));

(V.r;)(:r

.

1)

:

,),

(V;r)(3y)(y :

;r),

(fs)(Vz)((y

S

,)

A

(y

*

,)).

B zr.nre6pauqecxofi

cncne\{e (x;

.;

<,

>)

Becb

crrrlcoK orrepa-

IIIII"I

rr cirnourculul

o(to:rra.rnlr.

Iririlpr{r\rel),

6yxnoft X.

Tor4a

/Xarrryro

ir..nre6paraveoKyro

crr(ireuy

\rolKr{o

3ilrrr{ci}Tb Kopoqe:

(x;

D)

Boo6uqe,

a.nze6pau,,uecKo.n

crJcrnea,ta (fu|;

E)

cocrorrr r{3 rrHo)Ke-

c.rua

M rr 3il,,qaHHbIX

Hil 3TOI\I \{HO)KeCTBe

Onepaquft

n

oruourenurf

(lroxer

6srrr,,

To.rIbKo

onepaqufi

rrJr'r ToJIbKo

oruorueuuit),

n

cono-

KvrrHocrr{

o6o3unqaelrux

6yxeoil

I.

Tenepr

ruo ;Krro

A;lrb

onpe,qe

JreHrre rro

lrfl Tr{ro

rrHTepnperallfiIr :

Onpe4elenrae

10.

1 trIumepn

p

em,at4uett

curvr\o Jro6 uercomopori

cuz

-

I

t,il,'m,'yp1,t,

Tt

QSbt,eaerncfL

COAOrcU'ntl,OCm,'b

1

:

l\tu[;

X); )),

zdc: (lV[;

D)

*

a.nee6pu,u,LlecKait,

cucm,eJvra;

),

-

uuaercrnullloe

cooTn-

Gern,crn,Blte,

conocm,(r6,n,f,1ou1,ee

xaucdoruy

cuM4eoJly

eu)enertuoeo

gne-

.ttt,e?t,7ft,0,

c1r217{rTtt,!Jp,tt|

on.pe)eneu,ttttr,ti

sne*teurn

JvfiToctce(tmaa

h[;

cu.*,t-

Gorry

onepa'u,uu,

(om,rrruteuua)

cuatl,&rngpbL

-

onepal4uro (omno'u,e-

u,rrc)

m,ort,

)rce A4,ecrn?1ocrn,,trLt3

a.nze6pattuec,xo'it

cucrneu,,t,r (M;

D).

o/

OveeU4uCt,

r{TO

AaHHOe

O[peAeJreHrre

C r{eKoTopltlfl.I

OC.na6JleHI,I-

fiI\{I4NIox(HoIIpI{iueHflT'[,'|]]\JI.flcI-I|HaTyp.ilo|I4llecKorofl3blKa.

Coorsercrsue

) 6y4er'r

Ha3lIBarL'

uHrnepnpeTnupArcl4u'M

coorn'

6erncTnaueL4'.

flcHo,

trro

oAHa

r{ Ta

){(e cEr}rarypa)

soo6qe

roBops,

I4\{eer

6onee

o4HOft

rrgTepnpeTaqr4r{

B 3aBr{cr{NrocTn

or

rsr6pa,HHOIO

N{HOXieCTBa

lr

3aJIaHHblX

IIa

HeI\iI Ot'rrOrUenlrfi)

TO eC'Ib

Or

anre6pall'{ecKoil

CU-

cTeNtbI.

Bltecre

C TeIu,

BaNiHyIo

po"rlb TIpIt 3ilAaHI{II

I'II{TepnpeTaIIIII{

lrrpaeT

II

LIHTepIIpeTIIpymqee

COoTBeTCTBue.

flOxarNelu

3To Ha

CJIe-

Ayroqer{

rpl{NIepe.

!,ra

cnrntr,Typbl

o

:

(";

,f(2);

p{'),p1"),

orucz}Hnoft

s

Ha'rtrre

naparpa<lzr,

3aAaAI'IrvI

l{HTopnperilqrlrc

11

:

{(x;

I);

)t},

f-qe

a.,l-

re6ptru.recxaf

cr{creN{a

He

r43NreHrrracb,

a

r{HTel)nperrrpyrurqee

co-

OTBeTCTBI4€

,\r

uN{eeT

BI{A:

0F+

1;

7@a';

Pl')n,,

P)2)

r+{'

@o1rr',ry.nn

(Vr)(ly)P2

(y,r),

(fy)(Vz)((i'r

(v,

")

nfu=;D

B I'IH-

Tep[peraql4u

11

npurryr)

coorBeTcTBeHHO)

yi'I(e

Apyfofi

nttg,

qel\{

B

rrprrBeAeurloft

nr'rrue

r{HTeprrperaqun

/,

a I{NIeHHo:

(vr)(ly)fu

{

"),

(ly)(vz)((y

'

')

n

(v

*

"))-

Taxrnr

o6paaol,t,

r{rueHlto

HHTeplpeTr{pyroqee

cooTBeTCTBIre

[pI{-

gaet

a6crpaKTHbllvi

cI'Ir'IBoJIar't

KoHKperHbtit

ctvtltc.n,

coorHocq

ux c

oIIpeAeiIeHHEIIUII

3neN{eHTa\II{,

Olepaqllgl{II

IrJifi

OTHOIIIeHIIfl\Iu)

3a-

.rIaHr{bI\{I{

Ha

KOHKpeTHON{

I\{HO)KeCTBe.

3ar"rerurt,

rITo

3JIe\{eHTapHafl

d;opr'ry.na

nu4a

P(r1.12,'

'

'rrr)

craHoBlrTcfl

B lil{Teprperaquu

1

:

{\lvI;

t);

^}

orpeAerrelTgbll\{

n-N{eCTH},i\,I

npeAr'rKaTOIu)

3aAaHHbIl\{

Ha

IuHo)KeCtp'e

M

'

floarOlry

n

r{HTepnperaqur,I

f

$oprtryna

P(r:1,

12, .

.

-

rrr)

rIplIHI{I\{aer

3naqeHue

'U

UnV

"'t

npI'I

3a,4,aHHbIX

3HarIeHI'IflX

IIepeNIeHHbIX

11,!X2,

'

' '

,Jn,

Hanplll"{ep,

IIPII

A7rA2,...Ar, €

M.

O6osna'raror:

[P(o1,

(rrt...a,r)ft:u

tlilry

[P(ot,

a2,"'a,r)11

:"n'

Ana.nont-tro

o6c:rolrt

Ae.Iro

H C

Apyrr{IuII

s.iIeNteHTa,pHLINIII

cpoprtry-

JIAI\,II{

KAK JIOI'IIqCCKIIX,

TAK

II IIPCA\IETHbIX

flSbIKOB'

;8

flna

npuuepa

Bepnelucfi

K orIHca]IHLII\t BFiIrre I4HTepIrperaIII{gIu

I

u 11 cr{rHarypbr o

:

(o;

f@;

Pl2),e[2)7. Tar<,

t]oprry,rrr

h(r,y)

u

P2(r,g)

nrauteprperaqlru

I wtrnxgnr,

coorBercrBenHo,

xax

:r

1y

n r

i y.

floerortl'

[Pi(I2,3)fu:n,

a

[P2(12,3)]r

:r.

B lllrreprperarlrrrr.r /1 orl{

$opuynr't,

coorBercrBeHHo,

I{l\.teror

BIIA

r:y

u r

<a.

Teuepr,

yxce

lLh(Iz,3)]r:r,

a

lP2(12,3)]r:r.

O6parurr,r

BHntvraHrle,

,rro

odua Lt,

rrte ate

Sop,uyna

.dozrcenx 6atm,a

ucmuuuort

e odnofr, uHtnepnpeTna?4ulJ

u .nocurctt e

dpyzort.

***

I4rar, cer\{aHTI{Ka crIeIIXa.[r,HbIx

cIr],,IBo.[oB BBoAI{Tcfi c

rIoNIonIbIo

nuTeprrperaquii. IzIHa.re

3a/{?}ercfi

cerl?llrrlrKa

.rrorl4ilecKl{x cHr.IBo-

JIOB

:r

n, V,

-+,

-,

V,

l. B orrll.Ilre

or cneIII4aJII>HbIX

cI{Ir{Bo",1oB,

Ka)KAor\{y

JrofuqecKo}{y

cIrrIBoJTy

qenecoo6pa3}Io

npllnncarb

HeI{3-

l,tegnr,rft

crltlcJr. flpn erolr

crI\,IBo.II

":"

HnT€plperrrpyercfl

KitK

o6sr.Inoe

paBerrcrBo;

ocraJlbntre

norl4rrecKl{e cIrI\{BoJIbI

s nn6oii

IrHTeprlperarlrrl{ [ony'{a}or "o6H.{Hoe"

I{cro.]rKoBaHlre,

onr{cauHoe

r naptrrpa$ax 7

r.r

8.

V

B

:trrx.,tlo.teur.rc

uJ)llu(y(cu

crrlc ol(rlII

Itprl.\tcl).

Ilpurvrep

!O.L Pu,t:c*trtutpllht

(uelturtt,ltp'y

o

-

(tr:

*2),

zr)r:

c -

(:'tl.Mco.tt'

ts'tr'dr:"ttr:'rr''

no,).o

:)./a(ArctL'trn: *\'2)

-

a:?tutr,coitr

6rt;tut1rtutit

(dc'y.r''tccntturit) ort"c|ttttqtttt.

Tc'p.r',tutt,tt

dutttutii uu?ltuttr'l1p'bt,

I

ltil,tttnt'outtL'IL,

tt6,/ttto'ttt,tA

c./t()6o,:

(1)

:r

*

c;

(2)

t:

*'y:

(3)

(.r

x

y)

*

::

(4)

:r;

*

('y *

t).

If'yr tr't

t :ytttt tlxtp"t't'ytt,

:,tt

t

t,li.t,

r:Ltu

tunt'yy.tr,t

:

(5)

(V:r;)(Vu)(V;)((:r

*'s)*,z:t'*(y* z));

(6) (Vt:)(u *c:xr);

(7)

(Vt:)(fu)(t,*'y

-

c).

|l1L\'l,^:u't\ntLc,^4,Nc,lt|l,o,/I.!J\La1()IIl't;lt'tt<ttl'(1)-(7)cr;u,:lritlij1l:})|It,|n:1L|t'||I(.[|LI)(.IlLu.

r.t I tn

I

L il

(.:

o o f I t

c

(.r

nc'n t

G

U

1

(

)'u

1(a

A4,MI

Lo

:,

I

(

:

(:.

t:I

I

t' 6

(

:

Hu

ttrrrs:ttrx:c'ntcc.

Z u,itt:t:"u: .r'

+0

(1); t'+

u

(2);

\t:+

l)

+;

(3).

t;

*

('y

*,)

(4); (Vr;)(V'.q)(V;)((r

+y) *'

z

:

t:

t

('y

+'))

(5);

(V:r)(:r+

O

=

u:)

(6); (V"r)(1y)(:r;

+

y

=

t))

(7).

2) 1.,:

{(n

-

{o};

');

),}; ): : r,

r--+

1:

i

(2)

-+

[0i

,

51)

Hu

.tuto:.tttt.:t:rllt;tr ]R

-

:r.1

(1)

;

r.y

(2);

@.y)'z

(3);

(V.r:)(Vy)(Vz)((r'

-

y)

.

z

:

r:

.

(V.r)(;r.

.t

:.r)

(6);

(V.r;)(ly)(.r

.r

.

(y

.

:)

(j);

;)) (5);

:

1)

(7).

la'

"v

3)

1r

:

{(ll:

o):

.\11i.

z)c fI

-

At'no)t(:e(tn60

ia.cofitcItry)rL'u:r:run:

rt,prxt67tu,;stuttuuli

tt..rt,ot:t;or:ttt,tt,;

€ €

Il

ttt'tl,ltcdu:ttt,tlt:tttulr:rt4xn67ltt,;s0e0||,'lu'::0'|l,c'pu1|,1Ltl'o't\()'^4,It'():}1

)3:

r

F)

,:

*(2)-+.o.

Hu,r,rruvtrtt:t:rrneIl:

.r;os

(1)

; x:

o'y (2):

(l;o'y)oz

(3):

:r

o

(y

o

z)

(4); (V:r)(Vy)(Vz)(Q

o'y)

o

z

:

t:

o

(u

o

z))

(5);

(V:r;)(:ro.

:,)

(6);

(Vl:)(3y)(,r

o

U

:.)

(7).

[Lla6o",t'.t'ttl"t:il'J1(:'lL0UIuI,tt''ptt,aedt:.uc'/L0(}(.c'tL1''(':()op.la'y'ntl,pttttx

o tnnllelnq)(lrtutltt,tt

Ia lLu.

Jltl,u)l(.:('(.tntt(' ?t'0.11(ttt,ltital(t

h'tl:I' ttllttt6lnt"rrnttttttit:

(5)

Ko.mtt,o;lttrltLJr

?eo,Meitp'rl'Lte.c'hittJ:

u,1tett67tn;lttttrt'tttr'it,

ur:t.tttqtttt'nt.rlott,o;

(6)7.o:'ltt:t)tllnaul'1I'0(,rt,per.l6'pu':lt'ltlutt,.il'e1u''a./t,1L,,1H

o6yta;:oaur

nr,'it,;

(7)I,nar;u:la)oeort4x:o6pustltltl,ll',tu.(,|||!|)H:Itt'a,ye,ttt'tl6ptl'ttt'tl,

(tc

uto'tr,rJlr ILlLoc'r;oclIrlr G

"ttt:'.t:oitu.tu rt,o.tt,o:rrtl:'tuLt'.".

IIpr.ruttl-l 10.1 rro/rlrrcll)K.rti.l,c'r',

tlro

o/[r'rrr rll'o'r' )rt{) tllo1r.rta.,;tt,rt,tti rt:Jlnr(

\ro)r(r()

l|cll0j|I,:]ol]i.llI.I,ll.;l'|()II'{ci1'Ill4't(:x()luIhtxt:rt't.5,;lt1t,tl..itt:ll)il:]I||,Ixtl6;tirt:,t.cl.il4il:l.{!tIi,'II1-

rtt.

Tar<, lr,;{iutr(t}r nl)r.nlrcpc

rril

droprrit-'rr,no\4

l

l'n(c

(i

lror,rontr,ro

dxrprn;r

(j)-(7)

'lllrr.rcilrhr il.Kc14or.il,r

lJ))'nrrr)r.

3'r'r.r

tr,xcr,rr)lrt,r

IXr?r,,ru

l)'t<rr'(:n IIil Kour(l)c'r'lr,lx

iL;u

('|-

(4la,tr,rcc:xrtx

cr,rc'ror,la,x

lr un'r'cJ)rl)c'l'iultulx

It

-

Ir.Cj rorrotrr.t,to

tru'Lcllnpt"tit.tlttii

lxl:Jy,rll,l'a'l'ln.

llOtl\,'(:rnrl,'lcopttt.t

l])yltll, llr).;tytl(llllll,lc

"tt

t)6tt1r'tt

1111.;1t1"

o.;1ltlt

pitl.

"rtlrttc:ttocil6,'rtra,lclLcr"

K:r'lr{r.I l(orKIX)flrn\{

uairrrua;r'tt'r(xrtiutt o(t-'tir,t:'r'rrt.

I

!,anee

B

AaHHoit

rJIaBe

6y.qyt

paccNlarpr.rBilrbcfl

o6rque

Bonpo(:Irl.

cRq3aHHEre c

rloBeAeHr..rerur

$opnryl

B

pil3JrI{tIHbIX

ImTepnpeTirII}ItIx.

l) 11

:

{\Z;

+);

^'};

.\1 : r'r) 0:

*(2)

*+

+.

hL

6()

O6'r,exron

rr3yrreHur

nprr sror\r 6ypy,r

$op*tyttut

tlozuvu npedurca-

rn,e(]t

To ecrt,

$oplrylrbr

HeKoroporo .ffolnqecKoro

fl3brKa, cr{ruary-

l)il

KOTOpOTO

Co,qepN(IIT

AoCTaTotIHOe

qIIciIO

npeALIKaTIIbIX

CIII\,IBO-

.noB p?r:1.[uqnofi

lrectrrocru.

-fcno.

qro

Bce noJlyr{erlurrre

[pLI orolvl

l)eil\rJrF,TrrrEr

r\roN(r{o [pr{r{eHl{Tb

x

$oprurynalr

nro6oro rr3blKa) KaK

.;IofUrtecKofo.

TaK I{ IIpeA\IeTHOfO.

ij

11 Hexotoprre

an4r,r

cloprrryir

nofnKrr

npeAnKilroB

11[ l

r cxasturnoro

Bbrrrre Nro)KHO

cAe.rr:r,Tb B brBoA

)

rrro

npeAjro]KeHrrg,

(

:oAepx(aque

c;no6o4rrsle ( ne

cax:zurrrbre

KBanToparurra)

fiepe\rennbre,

rI nlx)/x.rlox(eFlIll{)

Ire

COAepX{aXIIIe

CBO6OgHSTX [epe\IeHHbIX,

I4I\.reIOT,

pa:lnrrrrruli

xapaKTep.

Bcqxoe [peA.iro)Kerrne

nepBolo

rrrna rrpe4-

(:'ri[R.Irfler

r:o6o11

[peAr{Ki]T,

saerrr;xu1uft

or cno6o4nbrx

nepeN{eHHbrx;

rll)e,/,fn0)KeHrre

BTopot

o TI{na

-

3To onpeAeJTeHHoe

BbrcKa3bIBaHITe,

II(]ifIIHHOCTb

KOTOpO|O

He

3:I,BLICLIT I{I4

OT KaKI,IX nepet{eHHr'IX.

B Cng-

:ill

c

:)Ttrrr\r,

pacc\rorprrNr

ABa

ruutr

$oprrryJr

Jrorr.rKr{

npeArrKa.roB.

l.

4top.u'y.n,ur,

co ceo6odrtuut.r,u

nepe^4eH?ibtM,u.

@oprry.rry, Lrrrero-

rqvxr

r;eri6oArrble

nepel\IeHHble

iL1,:t2, . . .

,ttt,

Ir

He

uLreIOIq),'Io

Apyfr{x

cuo6onrrbrx

[epe\reHHbrx,

6y4elr

o6osna.larr,

%.(r1, 12,

.

. .

,

r,r).

Bo ecsxorl

urrreprpertrqun

1

:

{\M;

X);

A} TaKarr

dtoprrry,ra

rrpeAcTilB.rrrer

co6or"r

zr,-ruccrrlbrr"r

npeAr{Kar)

npr{Hr.rNrarorquit

enave-

Hrrfl "

rr" tr.ilrt

"

.n"

B 3aBl{cllilIocrrl

or ntr6opa

3HaqeHplft

cBo6oAHL,IX

IreJ)er\{eHrIbIX

n3 r\lHoxiecrsa,4.l.

II.

Q op.u'y

tt r,r, 6

ea ceo

6o du,t*n,n,epeu,eHHb(,r.

@oplrynsr,

He

coAep-

)Kililr.rre

r;eo6ogur,rx

lrepe\{enHbrx,

6y4errr Ha3},rBarb

aaJvtKHAmbL,Mu.

3a,r'rxnyrlre

$oprrry.;rsr

6ygerrr

o6osHa.rnru

6yxearrru

et)

Et c.

. .

B

.nru6oii

r{HTeplperi),qnu

3ar{KHyraa

$opnryra

flBJrr{ercs

BbrcKa-

riblBi)Ilue\.r,

KoTopoe

I4t\IeeT

orlpeAe.[ellHoe

3Har{eHr4e

"tt"

vilv

"

n" .

flpnuep

rr.L

cD

op.rtr,y.n a

Qt)

((Y y)

P

(r,

u,

a)

v

QGA)

-+

(

lr)

n(r)

c:or)e'p:ttcu,m

ceo6odtrt,t,e

nepe.M,e?7H,b[e

r1zj,atr.

Corc7lalu,en,n"o

emy

$op-

.M,y./Ly

.A4o,Jtt

n

o o 6o auu.'urnn,u

\(r

1

z

1,u)

.

Q op"uytr,u

(V:r

)

( (

3y)

Q

(:r,

y) -+

(1

z) P

(r,

z)

n

(V

y)

R(y)) ae n aem-

(-..fl,

lo,.M,tc?rymoil

$op"u'y,no,tt,

u,,

c.nedoBamerrbr-to,

uvrnepnpemupyerncn

61

KCLK

6bLCKASbL6

O,I LUC.

Kax

6stno

rroKi)3aHo,

ucrlrltnocrHble

3lrilqeHux

$oplty;1,i

co

cBo-

6ogur,lrru

[epeN{eHubruu

u(:r1

,12,...,1r,,)

:aeucflT

or

uet6opa

sna-

qenrafr

cBo6oAHbIX

rlepeN{cHlrblx.

llpu 3To1\l

qe.;lecoo6ptr:no pa3.[]I-

rrATb

HeKOTOpbIC

BIIAbI

TaKI{X

<pOprtry"rr.

Onpe4erreHl,re

11.1

4)op"t+yna

2t(:t1,

12,.

. ., T,r)

HasbLaaeTrlctr

Tno'

crc\ecm,aenHo'ucrnuHllod'

et utt'mepn,pemault"u

1

:

{\lVI;

t); ,U,

ec"xu

om,a

So7t,uy,no,

npu?L'It'ht,aem

srta,te+ue

t'LL"

ny)?.'L

Lr,rc6arc

rta,6opa:t

armv,enufi,

ceo6o0n'rrrc

ft€D€.h4€'H't1bLtr

u3 Jv|,tLo)tcecmao

I\'[ e uu"m,epnpe-

mattu,u

I.

Oupe4enela:.r.e

LI.2

@oyt,rttytta

u(r1,12,.

..,r,r)

Hashtsaem'cn

6bL-

norllluut,ol-r

a uH'm,epnpem,a1tlul-L

I

--

{(fu[;

t;) }}'

ec.nu srnu,

rftopr,y-

fl,(r rlpu,rlu,N4aem,

sHa^reH'LLe

"'t-1"

ro'rn,n

6at'n7tu

odtrc.n

ua6ope

srtav'enttri

ceo6o0nam

nnpetuteHHblt

Lta .MltoitecmsQ'

M

e uu,rnepnpemaryu,u

I.

.flcrro,

rlTo

HeKoropax

$oprry"na,

6ygyvu

ro)KAecrReHHo

Ilcrrrrl-

nofi

(rlmo,rnurtoil)

e o4nofi

r{HTeI)[peraIII4I{)

I\Io)Ker ne 6r'rrr'

TaKo-

noii

r

4pyrori

Htrtepnperarllrl{.

Srnrt

o6yc.nonleuo

BBe.qeEIac

c.rerxv-

rcqux onpe4e"treunrl:

Onpe4e.neglre

11.3

@op.,ut"yttu

%(:r1,

:r:2,

.

.',:f,,.) r1&3bLaaertt'ca

o6-

,U,eAHAHUl4ori,,

eCnU

ou"A mocrcdecTnBeHTLo

LICTTLII?ITLa A

"'L?o6O1i

uHlnel)-

nperna'\IJ'u.

Onpe.4e,relalrre

II.4

Qopu,y.nu'

\(r1,12,.

..

,fr,r)

Ha3bt'8o,em,c,fl,

BbL-

nonuu,,rvtori,

ecJLrL

orLa SbLaoJllT'trJv'a

trornrr

6at a

od\oil

uHm'epnpem,a-

1.4UU.

C sar"IxHyT},trrtn

cpopltv.[:t\{I'I

Aei-Io

06(:T0IIT

I{IIi}aIe.

Ta"r<

xtrx etr-

NrKHyras

$oprvry;ra

e .nro6oft

I{HTellnperaqul4

npe.trcraBirfler

co-

6oit cpasy(!)

olpeAe.IleHHoe

Br,IcKa3blBaHrrer

To

Her

cIubIc.IIa

BBo-

AtrTb

AJTfl

TaKrrX

$Oprtryn

[OIItirI{fl)

aHaJIgflIr{HbIe

IIOHSTIIfiI\I

To-

X(,[eCTBeHHOfi

UCTIIIIHOC'III

I{ tsbIIIOJ'IHITI{OCTI{

B

IlHT'eplpeTaqUI{

A.Irf

$Opr,ry.rr

co CB66gAHLIII[

[epeN{eHHbII\tu.

tr4:lterrerrue

lIcTIrtHHoCTIl

3aNIKIIyToii

cllOprrry.nr't

Ilo3\Io)KIIo

TonbKo

IIpI{ lI3I\IeHeI{IIrI

I'IIITep-

rrperirqr.ru.

B

cnqsn

c 3Tr{NI

A:}ruTCfl

cneAyloqr{e

olpeAeJlerrrlfl:

62

Onpege"rrenue

1

. 5

3

a'urc,uyrnaa cfiopat

y

n a HaabLlaemca

o6u,earta-

"tu,.nroli,

ecJlu o?to,

ucm,uH?r& e tno6oil ulTrnepnpem,o,'t4uu.

Onpe4e"renue

1 1.

6 3 au,mt

yma.n

rrtop"t t,y n a rTaabLa a,ernc^fl, 6bLno

llrlu-

.tvt,o't-|,,

ec.)1,?."1 oHa LLC'm,u?lrLa

romfl,

6at, e oduoil uHmepnpemal4u'u.

flpnrvrep tL.2

lorcauce^4,,

u'mo

{tolt"uy.na

(Vr)P(r)

-+

P(y)

o6t4esnauu.ua.

!,anuax

tloprrry.na coAep)Krrr cno6r4nyro neperreHnyro

y.

Tpe6yet

cr

J[oKasarb,

qro

era

$oplryJra

ro)KAecrBeHHo r{crr{HHa s r}o6oft

rrHTeprrpeTallurl, To ecrr,

lpuHrrl\,raer

3HaqeHI4e

"

n" B

.[ro6ofi

unrep-

nperaquIa npra .nro6ol{ BHalIeHr{I{ cno6o4uoft nepeueuuor..i

y.

PaccrrorplrN.I

rlpol.rcBonbHyro Iull{Tepnperallrrrc

I

:

{\M;

E); f}

flycrs

g0

-

lpon3so.nsusrfi

o.rrei\'{eHT r{3 r{Ho)Kectea M. Tor4a

$oprnryna

(Yr)P(:r)

-+

P(yo)

-

BbIcKa3bIB?),HIIe,

llrrfl

Koropofo Bo3-

NroNieH oAr{H

r4

ToJrr'Ko

oArIH I43

AByX

C.IIyqtLeB:

a)

[(Vr)P(r)]t

:";

rorAa

lP(")),:n

Art

BCex i,

€

M;

zwa'rut

P(yo)h:r{, i}

ro3ror'ry

r

[(V.r)P(.r)

-+

P(y6)]1

:w..

6)

[(V;r)P(r)]r:o;

rof.{a

[(Vr)P(r)

-+

P(yo)h:I{ IIo orpeAe-

.;ICH I{IO HI\

I

IT.ITIIK

Ail,UI,I.

Bo ncex Bo3h,ro;KHbrx

cryqaf,x

[(V:r)P(r)

-+

P(y0)]1

:u.

Taxnu o6pa:orrr,

Sopr'ry.na

(Vr)P(r)

-+

P(ao) r{crI{HHa B rrH-

Tepnperarlrru

1 upra ilpolr3Bo.rrlrloll

y0

e

M. B crrry

npol{3BoJIL,-

Hocrr{

!/s

rr{o)KHo

yrBepxq4arb,

rrro

$oprrry"rra

(vr)P(r)

-+

P(yo)

rrcrnHna

B r{HTeplperarlnl{

.I npu

.nro6r'rx

3nar{eHrrflx cno6o4uoii

nepeN{eHHoit

y,

to

ecTb

llalrHax

$ollrttyna

To)KAecTBeHHo I{cTr{IIHtI

n

grofi

r{HTepnperaqnn.

B cl{.iry

npoI43BoJIbHocrI{ uFlTepnperaqu}I

/

4enaeit,r

BbIBo,q,, vro

tfoprtry"rril

ro)KAecrBeHHo ucrllHHa n nro6ofi

r.rHTepflperaql{r{,

To ecrb)

Iro orrpeAeJlerrvro 11.3

,

o6u1e:na'urlta.

flpnvrep

lL.3

fiorcanceAt,^tmo

rfop.r,ny.na (:r)P(r)

-+

(Vg)P(y)

ue

o6tuesua4ru,Mcl.

6;J

/l,aHnaa $oprtry-rra

fl BJIflercfl

salrrcnyroii.

9to6r,r,{oKz}t3ilrb,

tl't'o

oHa

Hc o6ulesrrzrvur{a,

Aocraro'lno

saiirlr

xorq 6Lt oAlry

}lHTeprlpe-

TaqI.IIo)

s xoropoit

sra

$oprryla

6rr.na

6tt .irolxnr'rl\{

BbtcKtl,3bIBaI{Ir-

elr.

Taxofi lrHTepnperzrqneft,

Harlpl{Nrep,

fl BiIfl ercfl rrnTepnpe'r?rqllfl

1

:

{(N;

6strr,

upocrbl\I

rIII(:.roNt);

)},

r4e )

'

p(t)

r-|

6r,itn rpocrrrrri,r

.rr{citor\{.

I4r"reert:

[(-r)P(.n)]y

:

u;

[(Vy)p(V)lr

:.II;

o'lclortr

c.r(]AYor.

.rro

[(]r)P(r)

-+

(Vy)P(y))t

:n.

3to

roKeri]F,IB?],er,

.{ro

$oprrry-

fia

(lr)P(r)

-+

(Vy)P(y) ncrnuna,

FIe Bo RCcx llllrel)rper.irr,rltrx.

flosrolry

orra

He o6uleena.urlra.

B

nllrvt:ptlx

11.2 r 11.3 onn(:ilu ocrronrrt'rr:i

c:rrocofi

lxrurctrn,

:r;lllil,,r

'rilri()r'()

ln-

tttr.

Bl,tno;urrt\io(:'rb

(bo])My.;u,r

,i[or(?]:lr,rlilc'r'(:n

il.unrror']r,rro lt[)rluollv

11.iJ t:

r

'tc-

'l't)I{

l)il,3ltt4u.bl

\,10)lt,,ly

:lill,lKIty'l

tllll,l il IlCllil,\ll<ll\"1

t,trttt

,lr,,1,rtr'.liI\lll

ll l(}.\l

(l'l.illl-

,tilcrt,

,t'lo

n ttiltiTqcrrttot"r

t<ottt<1rc'trt<rfi

iru r()l)rlx)ril.r[ttu

t]xlllrtv.'t4,,:to.iritilra,6t,t t t, It,'-

,f

urnrot"t

(,\.'rn

rre'la,rrKrr.y'r'or"r

<lropl,,tv.;rr,r rrt;'r'ruutoii

rtllt ttit.tii.'lctttu,Ix

Kottt([x) tlti,t\

'illi1,.rcrrfiflx

cHo6o2,rrr,rx

rrclttlrrctrrrr,rx). H<tir,lrto,;ttttt\r(x:'u,

(lx)l)]4)r.;r.i({)lia,lt)nril.('l('u

lt,lil,.;lor.Ittt11-1

lrprtrrr-.p.V

11.2: rr1)rr

tJ't.Oy

dxtytrry;ra,rl()"r)tilril

6r,r'r'r,

"'lo;rrrrt.tii

rr rrlxr-

!IlnoJrr,not"t

!lt'lcJ)npcr-illlttu

(2t.'ta

Irc:lit,rrt<rtt-trrfi

<lrt,lrrtr'.,tt,t Itl)n IlIx)lltJlro.itt,!lr,t\

r1ta,'rcrr11flx

c396t).'Utt,rx

Ilclx]\lL\ttttt)tx

rl Irlx)tr'lttt)Jlt,tttlii

lttt'tttlttllttt'tatlttll).

tr4nor4a

orpaHlrtrl{Btrrorcs

p?}ccrlorperlue\r

A.fts

clroprty.ni't I{tlTel)-

npertrqnli

rra KaKol\{-}tu6ygt

oAHoNr

Nrl{o}Ke(rrBe.

Torga B coorR()T-

(:TByroxlr{x

cryalaflx

roBopflT, vto cpoplryla

tl6rrlesHiltltr{I\lA

(nr,rno.n-

ttnrra) ua

danno,vt Jvrrloucecm,ne.

Paccrtorpul{

cBr{3b, Koropylo

I\Iox(IIo

y(;TirIIOBIIlr)

B IIOBt);IeIIIII{

:rirr\rKHyrbrx

II He3ar\IKHy'rutx

<|o1rltv.n.

Onpe4e"rrewve

LL.7 3atvz,m;au,'ue.M,

o61t1,I1ountt,

cttoyt.u'y.nut

co

cao6rtd'

ll/ltlJvtu

n,epeA4,eHrrbLM4,'u

g.(flj:x2,.

. .,:t:rr)

Tt,o3?tlB\eTilrca'

()o7t.t,t'g,rut,

zy

:

(V;r1)(Vr2) . .. (Vr,,)r(r1,r2t. .

.. :rr,).

3aLrntutatuteh4

cyu,ecrrlso\alLufl,

tSop.u,Utt't* 2l(:L1,.It2i.

. .

,:r:,,)

Ho,:r'til,'

uremcfl,

$op"uy.n,a

z3

:

(3r1)(=r2) ...

(1r,,)a(r1,12,...,:L,,).

llpunrep

lL.4 Hail)ett Bo,-MbLw,(r?ru,n

o6'urJtocm,ll u cy?upcrnso(Jun,ua

(npa,ty,nor,

%(r,rJ,

z,t)

:

(3u)(P(,r,

z)

-+

(VTr)Q(2, rr)

A

R(z,t)):

ll

()+

uy

:

(V:r)(Vy)(Vz)(Vt)(1u)(P(r,

u)

-+

(Yu)Q(u,u)

n R(z,t));

a1

:

(3r)(1y)(lz)(lt)(1u)(P(:r,r)

-+

(Vr.')Q(z,

u) n R(z,t)).

l{s

onpe4enenr.rft

eroro naparpa,$a BrrArro,

.rro

$oprtly.rra

co cBo-

6otrn;rlur

fleperleHr{r,rrrrr

t(t;1,r2,.

. .

,r,r)

Tox(AecrBeIIHo

rrcrrrlrHit

B ur{Teprrperi}r{r{r.r

1

rorga rl ronbKo rorAa,KofAa

[zy]7

:11'

drop-

Nrv.na

2l(;tr1, :n2,...

r:r:,r)

BbrI]o.IIHI{N{a B r{HTepnpeTi}qLIH

1 rOr4a u

T(),rrr,KO

TorAa,KOrAa

[?tjl

7

:11.

Ilorroirry

Borrpoc

o6 o6u1e:xaqu\rocrrr

rr.rTlr BbrrroJrrruhrocrlr

He3a-

rrxttyror,i

droprtry.nr-1

ruo)K€rr 6rrrr,

cReneH K ?l,rr?l,Jrolr{qxor\,ry

Borrl)ocy

'i.irlr

coorBer(jrBvlorrlefo

::ii}rublKirHlr:a.

3ro no3BoJrfler

B

pfAe

cJIy-

triroB

])trccrrar])Illarr)

ToJrL,Ko

3a,\rKHyrble

$oplry.rnt,

nepexoAfl rlpu

rr<'o6xo4nlro(:.r,lJ

ri norxolflrr\nlr

:ilNrbrKarurxlr

$opl{yJr

co ceo6o4-

r rblt\tII

llel)e\rourlbl

r\t Ir.

\

12

Panuor;n.nrrro(irb

cpopnr,v.ir

rorur(rr npeAnKa.roB

Cjtra.ra.na prrcc\rorpr{lr

$oprry,rrr

co cno6o4r{brr{rr

ileperueHHr,rrur{.

Onpe.4e-rrenwe

L2.l

(D

op,u,y.m,t

2t(r

1,

ll.2, . . .,

T

r")

u

a(r

1,

r.2, . . .,

!D,,.)

'tl0,3blt]0?ontc.fl,

pu,sllocu.nbH,bt,JvtLt,t

ecJLII

)Tnu,

()Op*tynt

t n,plt?t1lA4a1orn,

odtm,o,r,ors't,t,e

ucm.?nllr,ocm,H,bt,e

sl,L(r4de?7'url

e

.nn6ofi,

uHlnepnperrlar4url

r

r,y tr t,,n,ro

6

rrc

r m,

6 o

p

at;

a

n

ay,er. tr.t't,

c e o 6 o

d

n

u n n ep e

14 e?rrlbLr.

O6o:lrra.rrnrle:

\(r1,12,...,r,r)

:

B(rt, 12,...,arr).

He

4:rnuoro

orrpe.Ae.rreHr.rir)

R

.racrnocrr{,

cJreAyer,

.ruo

$oprry.nrr

oo cBo6oAHbrN,Iu

lepeI\{eHHbiN{II

I)aBr{OCI't.rIbHbr

TOfAil,

Ir TOJIbKO

'rofAa,

Kof.,la

n nro6oli

IrHTepnl)eTaIILrrr

coBnaAaroT

r\IHolKecTB?]

r4cTr{IruocTl{

orlrx

$oprry.n.

{l

a

:aurcryrlrx

c}oprtryir

.ilaercfl

cneqr.ranbHoe

o fipeAe.ireHrre.

Oupe4enerl,ue

12.2

tDoplv:yLtut

u u a

?tasbt"6(trcn1rca

pcrsltocu.nbH,bl-

.h,t,u,,

ec./t,'u,

em,u,

()op.u/ynbL

np,u,?ttr,tvtatont,

od'unaqoable

ucmuHllocrnHbte

s

r tu\c

Hurr

e,uo 6

o,t, urlrn,e,pnp

em, al,tuu.

lrirnrroculsHocTb

3a\{K}IyTbIX

$oprrry"rr

2l

n 8

TaKx(c

o6oSua'Ia-

o'rcH

KaK 21

=

B.

,

Mcln<so

pacct\Iarpl'tBarb

paBIIocI'IJTbIlocrL'

rpoprrry"n

Ha

KaKo\I-

Jtt{6o

Unox<ecTBe,

a

AJ'rfl

]re:lar!{KHyTux

t}oplry.x

r n

o.q,uoft

I{HTep-

IperaIIruL

PanUOCunsHoCTb

cpOpruryn

Co

cnO6o4nbllupl

[epeNteIIIIEIlvlu

cBfl3a-

Iur

c

paBHOCr{JrbHOCTbrO

3a\{KHyTEIX

cpOpuyn

ciIe.AyIouI,IIMI4

yTBep-

}l(AE}II4flNII{,

Teoperura

l2.I

Uycrn't'

u(r)

:

lr(r)

'

Toe)a

(Vr)z(r)

:

(V:i:)ls(r)

u

(3r)z(r)

:

(lr)ls(r).

f[<lrtrsa:re"nbcrBo.

flycrr

s(,r)

:

t(r)'

Paccllorpllr{

nporr3Bo'lbnyro

rrHTepnpera-

quro

1

:

{\M;

f);

}}

I{ noKa)Ke}'I)

rrro

B

a:roii

nHrepnpetaquu

cfop-

rtyrrbl

(Vr)z(r)

n

(Vr)r(r),

a r?lK)Ke

(32)z(r)

u

(3r)r(r)

npr{Hl'r-

Ma,IOT

OAI{HaKOBE

Ie

I{CTI{HHOCTHbIe

3HarreHrlfl

'

a)

flpeAno.nox(nr{,

'no

[(Vr)z(.r)]7

:u.

rorAa

[or(")],

:vI

rP:u

BgeX

3HaqeFItIflx

r

I{3 I\{HO)KeCrna

M;

OTCIOAa

IIo

yC.IIOBI{}O

IIlvIeeI\I'

.rro

[n(r)]7:H

rrprl

Bcex

3HarreHrlJ{x

tr

Il3

NIIIOl,Kecrna

M;

c'IIeAo-

BarerIF,Ho,

[(Vr)ls(r)]y

:n.

Aua;rornqHo

AoKa3blBa,erct)

trro

r{3 IICTr{HHocrH

B

rrHTepnpera-

ryuu

I

$opr'ry"usr

(:r)z(r)

c.relLver

llcrl{HHocrb

B

3Toil

IlHTepnpe-

Taqr.rr:{

$oprr'rynsr

(lr)r(r).

6)

flpe4no"rro)Ku\I,

'iro

[(Vz)r(,r:)]7

:n

rorAa

[s(")1,

:]I

He

rIpI{

BCeX

3rlaarettltrx

J:

LI3

lunt;;'Keclntt,

M;

[o3TO\{y

CyudecrByer

xors

6r,r

ogurr

oJIeIueHT

:r11

€

M

raKoii)

rITo

[q("g)]t

:r'

no

ycnoBt{Io

[r(rg)]r

:ir,

c,'IeAoBareirsno,

[r(,;r)11

:u

rle

npr

Bcex

3Har{eHl4flx

r

H3 I\{Ho)Kecryra

M.3To

osrra'Iaer)t{To

[(Vr)t(r)]7:n'

Anaroru.tro,

JIo)KHocrb

B rtHTeprpertrqrl{

1

$oprury'nlr

( 3r

)

ar(:r

)

BJIeqer

Jlo)Klroclb

B srofi

rllrrepnperaryru

cfoprtrynlr

(32)r(r)'

floxa:ano,

vro

rfoprrym,t

(Vr)z(r)

u

(Vr)t(r),

zr rax:Ne

cfop-

r{yilbl

(lr)u(r) n

(3r)r(r)

rpul{I{r{ttruT

oAI'IHaKoBbre

}Icrr'IHuocr-

HbIe 3Haqenr1fl

B

ltpoll3so,rnnofi

l4rlTepnperaquN

1'

B

cuny

[polr3-

BoirbrrocTH

rrrrTepnpeTaqr.ru

1 cpopr,rynu

[pnHLI\{arcT

OALIHIIKOBbIe

68

(U

9I

10

tlxtJrrn';n

!1(:)

rro.irr',rcua,

11'r

?l(r;)

:rir"rrcrroii

nclxtucnllol-r

.l: nit

rrcl)c1r0Ull!lo

:, II(l

llxo.rltllttl"ltl u

2l(:l;))

9.

(Vr)a(;r)

:

(Vz)'rr(z);

10.

(3.r)a(:n)

:

(32)r(z);

1

(V,r)(Vy)u(:r;'y)

:

(Vy)(V:r)a(:r; y);

L'2

(3:r)(1y)'t(:r;'y)

:

(3y) (l;r)

u(r;

y).

Pneuoor.nr,nocru

(3)

r,r (4)

gtuor

Bo3r\ro)KHocrb

(:rrrr)

lrr

cxo6xlt

KBalITol)bI

V n xonr,rourqur

u 3

I t,o 11,(:'t10o6o'porn!

B

xa.r(rcrne

rptrNlepu

rroKaifKeruI

.rro

<f

oprry"ru

(V.r:)

(p (")V

Q(")

)

rr

(

V:r;

)P(r)V

(V:r)Q(r)

He

paBHocr.rJ-Ir,rrbr.

!,la

sroro

Hrr N.rno)KecrBe

.17

:

{:},

5,7,

16,24}

tr)accrNrorpr.rlr

r{HTeprrperarlr{ro

I

:

](,M;

6lrtr

npo<;rbrrt

rrlrcr,'ro\r.

6sr.rr,

rrerr{br[r

vuc"nonr);

A],r4e

,\:

P(r)

r+

"rr-ilpocrott";

Q(t)

*l

"itr-.Iergoc".

Urrr:crt:

[(V;r)(P(:u)vQfu;))fu

:s'

[(Vr)P(;r)v(Vr)Q(r)]7

:r.

C.) nolroulr,ro

l-ltoii

Nie rrrrreplperiu{r{r.{

\{o)KHo

AoKi}3arb

rrepa.B-

rro(:rr.irbHoc:rr,

goprry.n

(l:r)(P(r)

n

Q(r))

n

()r)P(r)

n

(lr)P(r).

'fa,rrar,r

o6pal:olt, Brrecelllle

s cxo6xlr

u BbrlreccHl{e

:la

cxo6xu

r(fiil,rr.fopoB

B

.TIOIIIKO

IpeAI{KUTOB

rroABeplKerro

HeKoTopbIl\I

ofpr)Irr{-

rrer{trrrr\r.

3rn

orllatluqelluf

}roryr

6r,rrr,

cnsrbr

c flotr{oxltro (9)

r.r

(I0),

rompbre

ilo3Bo..[rrror

:]i)\reuqrb

cBrr3aHnbre

rrepeNreHrrbre

Apy-

r.r.il\rr{

ueperYr€HIrbI\II{

n

O6.nac1rlt

Aer"rcTBr.lfl

cooTBeTcTByroqero

KBaH-

Tol)i];

3arerr

NIo)KHo lq)H\{elrr.rrb prrBrrocr{JTbHocrrr

(S)

n

(0).

O6parurr

BFrrrrraHr{e ua (11)

H

(12).

3'ru

pannocr{Jrbuocrrr

rro3Bo-

.rrr{I01'

NIeHflTb

r{ecTa,NIIl

OAHOr{\reHITbIe

KBaHTOpbr.

P asuou,.ttteurubt,e

K I at

tnlop'bt, ./\4erd

nm,b,Me

crn, aAtu

H€,e?fi

JI

!

Tax, rraxrn())KecrBe

N sbrcxtr:lrBaHre

(Vr)(ly)(r

<

g)

rrcurnno,

ir Bbr(:Kri:lnBaHne

(3y)(V;r)(,r

<

y)

,roNrro.

69

$

13

flpe4napenuils

Hop\Ia.ilbHat

$oprra

$oprrryn

norl{Kl{

IIpeArrKaToB

C

nol,roulrro

paccrIorpeFIHEIX

paBHocn,'rr,nocreit

NIolKHo

rlpol{3-

BoAr{Tb npeo6pasonaHur

$opvryir

JIoTITKI{

rIpeAIIKaron.

B

-tac.rso-

ctu,

$oplryJ'Ibr

r\IOx(Ho lrpllBo,4rrrb

K TaK IIa3bIBaeIvIoii

upe4rapeu-

nofi

rroplrarunorl

$opue

(nHO).

llpedeapenu,oti nopLv,aLr,a'nori

$opat,ou"

$oprtrylr'r

6es

rnanropon

6ygertl Ha3brBarb c:nuy ary

$oprry;ry;

npedeapermoil

nopuanano'fr,

tfiop"t'tott

$oprry,rr'r

c

KBaHTopilltrl 6y4errr

Ha3blBa:fb

paBrlocl{irE,Hylo

efi

Sopnryny,

B Koropofi ece xsauTopbr

Bbrlleccubl BlepeA.

flpurvrep l3.I llpu,aecm,u

K nH(D

Sop*tyLt'y

Peurerrue

(rr) (Vy)

P(

:r,

y')

v

(Y r)

(1y)Q (r, y).

(l.r)(vy)P(r,

!t)

v

iv;lluq(;37)

=

(lL')(Vy)P(r.

y)

v

i3,,)iVy)Q(r,

y)

:

(lr) ((Vy)f

@,

y)

v

(VilOG

A)

(rr1,rri,r,r,rr.,rn

(.1))

3arreur.rn

r: (Yy)Q@,y)

neperrerffiyw

y

r{a

HoByro

repe\{erruylo

z?

rroJryrrrrrvr,

r{To

(VZ)oGJ

lre coAep)KHT rrepe\rerrfloft

y .

rlo3To-

rry, cofJracHo (6), nonyaraeNr:

(lr)((Ve)P(r'. y)v(vz)dr41

:

(!,r')(vy)(P(.r:,

y)v(V

r1Q(r

;11

:

=

(!,r)(Vy)(V;)(P(2,

y)

v

Q@)).

Iloc,re4naa

$opuy.na

ecrr- fIH@

ucxo4noii <fopuynrr.

tl

Peruerrue

nprrlrepa noAcKa3brBaer

cnoco6

AoKzl3areJlbcrRa

cre-

4yrou1efi

Teopcr\rF,r:

Teoperrra 13,L Bcarcyrc

fiop",r,tyLt'y

,,to?'uKIJ npedunamoe Jvt,ocrcHo

npu-

Becnlu, rc IIHQ.

V Lorca:areJrbcrBo.

flpone.4elr

nH.qyKrl,lrK) rro rocrpoeHuro

$opr'ry.n.

I.

flna

sJreN{errrirpur,rx cpoprry.n

yrBep)KAcHr4e

Bepflo, TaK

KaK

nto6ag 3neMerrraprr:r,a

cf oplryra lre

uN{ee'r KBaHTopoB, cJleAoBareJ'rt

-

Ho7 ee IIII@ 6y4err

cal\{i}

Ar}rrrrafl

dropn'ryntr.

BTIOCATL'

I,T BbIHO-

B

Ar{3T,IOHKqrrr.r,

tl

'u

r. nr"to

yrBep)KAerrr,re

BepHo

gna

$oprrry,ru

a(. ..r...),

To

ec'rb

sra

$oprury.na

r4r\reer

fIH@

wr4a (Qyt) . . .(QA")s(...r...),

rrye

(Qyi)

-

KBaHTopbr;

rofAa

u(.

.

. r. . .)

:

(Qyt)

.. . (Qy)n(

..r...).

flo

reoper're 12.1, (Vr)z(.

..r...)

:

(V")(Qyr)..

(Qy)r(...".

)

v

(3r)z(. ..r...)

:

(1")(Qar)...(Qy)ls(..."...).

Taxrarr

o6paeorr,

ecJrr4 r{r\{eercs

[IH(D

y

<}oprrrynlr

g(...r...),

ro

$opr"ry.nsr

(V:r)z(...r...)

w (lr)z(...r...)

TaK)Ke

r{Nreror

nH@.

3.

flycrt

yrBep;r(AeHr{e

Bepno

4na

<}oplryJr

a

rr

81

rrprr

coeAr{-

HeHrlII

KOTOp}IX He

IpOHCXO.4I{T

KOJIJTT{3I{I4

nepeMeHHEIX,

TO

eCTb

droprry.nsr

u

rr

I rrMeror nH@ (Q:r1)(Qr2)

. ..

(Qr,)u1

r.r (Qyt)(QAz)

.

.(Qy,,)st,

coorBercrBelrHo.

lloxaxerr,

rrro

rorA|r

n

$oprury.nr,r

z,

q

n

B, 2t

V

tB,

2(

-+

tB

T?IK)Ke r{}{eror

III{@.

Ha.rHeNr

c

$oprrry.nrr

tr.

flo npe4norro)Ker{r{K),

u

:

(Q:r)(Qttz)

..

.

(Q.r,,

)21;

no rcoper\re 12.2,

a

=

ffii

corrrircrro

(r)

re (z),

:ra rf

oprrryna

paBHocrrJrr,na

Sopr'

ry-rer

(Q'*r)(Q'rz)

. . .

(Q'r")8

(*),

rge

(Q'ri)

-

KBaHTop,

"4BofrcrnenHbrft"

KBaHropy

(Qr;).

Jlerxo

BLr.{erb,aITO

$oprrry,ra

(*)

ecrr, IIH@

cpoprly.nr,r

z.

!,a.nee,

rlo

[pe.AnoJro)KeHr{ro,

2r

:

(8rr)(Q*z)...

(Qr)s'

-{

_rB

= (Qyt)(Q,yz)

... (Qy,)st;

IIo TeopeMe

IZ.Z ilo.[yrlaeNl:

q

A

r

= (Qrt)(Q,)

...

(Qr)\

n

(Qat)(Qd

..

.

(Qy")nr

It

V

ls

= (Qrt)(Qrr)

. . . (Qr,,)ut

v

(Qyt)(Qyz)

. . . (Qy,,)nt;

e{ -+ ts

=

(Qrl)(Qrt) . . .(Qr,,)tq

-+

(Qat)(Qaz)

. . .(Qy")ry.

C

norroulrrc paRnocrrlrnocreri (9),

(10)

cllc.rraelr

raK,.rro6rr

B

<foprrry.nax

(Q"t) .

. .

(Qr,,)u1(,rr

.

. . :r,,)

u

(Qy) ..

. (Qy)ar(n.

. .

y,)

ne 6sr;ro o.qlrHrlKoBblx rrepe\{eHHr,rx.

Tor4tr, }rcnoJrt3yr paBHocr{JTb-

Froc'rrr (5)-(B), upeo6paeyeru

npaRL,re

qacru

rroc.ireAHr{x paBHocr{rrr,-

nocteit, coorBercrBeHno,

K BIIAy

(Q*t)(Qrz) . . .(Q"")@vr)(Qyz)

.- .(Qy,,)(al

n

rB1)

71

u

(Q

:r

1)

(Q

r

)

.

-

(Q r,,) (Qv

t)

(Q

v

r)

. .

-

(Q

v

")

(c\ V

a

r

)

llo.nyvenrr fIH@

4na

cfopnry.n

(z

n'l) u

(r

V

t).

tl'ro6sr

no-

.[yqurb l{H@

$oprrry,ru

(a -+

l3), Br,rp;l,3rnr nr\rrrirrlK:lrlrrlo

rrelx)l]

Al,r3"r,roHKrJr{rc

v

orpr.rqaHrre, a 3are\{

cuor:o6orrr, rrpr{Be4er{Hbr\r Bbr-

rrre,

naitgelr fIH@ noJry.reHHoft cloplly;rrr.

TaxHr'r o6pasorr, ecilv

'r

tr ts u\reror lIFICI, To lr KoT{'i)roHK-

t[t{s,

Ar{3'broFlKrlrlrfl,

rrN,rfrirr{Kauilfl rr oTp'IrIar]rre

:)Trrx

r}oplry.n

TaK)Ke

trrrelor nHO.

Mrr

pacclrorpeirrr

Bce Bo3lro)KHbre

cJrytralr rocrpoeHua <poprrry-

.nbl I{

rroKasiurl{,

r{To

B Ka;KAoI\I II3

rlprx BepHo

yTBel)NiAeHrIe

'r'e()lxl-

trtt

t. flosroll)/ nIIAyKIII,Ifl

3aBepxlelIu

!I TeopClLIi)

AoKtr3ill{il.

fl

A

$

14

flpo6,rerrra

J)a3perrurroclrrl

B .rrofrrKe rrpear{KirroB

Cua,qa,.na

AoKax<eIvI ABe

reopcNrbr, Ki))KAil,r{

rr3

KOTOI)hrx c{)n(r})-

)KIIT

.qoc:rarorrHoe

l/c-rronr{e

o6u1e:na.rulrocrrr

$oprrr-l'.n

oill)cre.r('rr-

HOIO K.ITACCI}.

Teopenna t4.l lIycm,b 3u^4Kv,gm,o.a trtopltyllo,

'u,lrrerolti)u,a

e

ITHrD

frloJl,bKo KsaHm,opbl cAl4ecrn6oeel111.fl,, urmurr?ta

rs

.nru6ort,'uttm,e1tn,pc-

maltLlu It& A4Ho?rcecm,ae ua

odrnao

gJlel\uevrno.

Tozda arnu,

rfo'p,u,y.no,

o6u,eanauu"w,a.

.ILora:ate.nrrc'rBo.

flpe4no.noxr{\{ nporr{BHoe. flycrs

tf

opnry.na sr, rra{erorrl:rx fl Flcll

Br{Aa

(-r1)(3r2)

.

. (3r,,)r(:trtj :r2). . ., :0,,),

yAoB.rrerRopsol

v(:.no-

Blrgr\r

reo])e[rbi,

rro ne o6ulesuaqr{Nra. Tor4a nafi4erca }rrrrel)rrp(}T'?l-

\us.

I

:

{(luI;

l); )},

n xoropori

[zr]

:.n'

rorli] rr

[(3r1)(J.r2)

. . .

(3r;,,)ls(11,ir2,.

. .,r,,)]r

:.n.

flosrolty He cylqecTByeT Ta,Krrx :lHa.rcllur"I :r:t):r2r. .,lxn

rrs ,4.1,

'rto [!3(21

,12,.

..,rr,)]t

:It,

3HaqIIT

[!3(r1,

:t2t. . .,,r,,)]r

:.iI

rplr

.nrc6Lrr

3HrttI€HrIiX :Ll

j:t2)

. . .

,:r,.,,

e

M.

rt

Пайсон Б.Д. Математическая логика

Подождите немного. Документ загружается.