20 3:

3.1:

.

.

1.

2.

1.

2.

3.

4.

5.

3.

1.

2.

3.

4.

5.

6.

2 , 20, 3.1:

4.

1. ( )

2.

5.

1.

2.

6.

.

1.

2.

3.

.

.

.

.

(-)

3 , 20, 3.1:

B. 1.

4 , 20, 3.1:

( 1) : :

(.. x1,x2,) : ,, ,, : ( )

: : : : : P1/m1, P2/m2, : f1/m1, f2/m2, : c1, c2,

: (1) (1) Pi / mi Pi mi fi / mi fi mi

..

B. 2. 1.

5 , 20, 3.1:

:

,

.

: : fatherOf(x)

.

mult(x,y)

.

sum(x,y)

.

B. 2. 2.

6 , 20, 3.1:

:

: : less(x,y)

x

B. 2. 3.

7 , 20, 3.1:

.

x :

x x x

:

. (.. 2) .

!! : x x

x x

x .

B. 2. 4.

8 , 20, 3.1:

.

x :

x x x

: / 2. ( x=2) 1.

!! : x x

x .

x

x

B. 2. 5.

9 , 20, 3.1:

:

.

: , .

, .

!! .

,

.

B. 3. 1.

10 , 20, 3.1:

.

( ! )

: : , . :

.

: : : : .

B. 3. 2.

11 , 20, 3.1:

: :

M

!", "#,,"$ ! n "% , & 1, , ) .

.

!! :

: 5, x, y, sum(5,4), mult(sum(5,3),2), fatherOf(fatherOf(fatherOf(x)))

B. 3. 3.

12 , 20, 3.1:

: :

* *# *, *# .

P*, *#,,*$ , n *% , & 1, , ) .

.

: - 3

"/" !0*1234!5/1)

6320*23_*10)3,5

92:::;

B. 3. 4.

13 , 20, 3.1:

: :

=, = ?, = ?, = ?, = ? =, ? .

( ), .

-, - .

: ,-, A BC, D P/2, Q/2 "/" !0*1234! 5/1)

-Qx Px Rx P/1, Q/1, R/1 -A, -, A P/2 !! ( ) :

B. 3. 5.

14 , 20, 3.1:

: : , , : , : ,

:

P/2 f/1 c: x,y: :

))],())(,(([)( cxPxfzPyxyxx

)( yxx ))],())(,(([ cxPxfzPyx

yx )),())(,(( cxPxfzPy

),())(,( cxPxfzP

))(,( xfzP ),( cxP

x y

z )(xf x cx

B. 3. 6.

15 , 20, 3.1:

: .

.

: -B - ,A P/1,Q/1

x . x y .

-! - A yQx, y f/1 , Q/2 x -! - A y -! - A x yQx, y . y yQ x, y

-AB -, A Q/2 x . x y . A

B. 4. 1. ( )

16 , 20, 3.1:

, :

( ) / ( )

:

( ) :

.

:

.

B. 4. 1. ( )

17 , 20, 3.1:

: ( ) : H ( |H| )

.

f/) : !L: |H|$ |H|

,/) : ,L |H|$

c : DL |H|

( )

B. 4. 1. ( )

18 , 20, 3.1:

1: :! D, D#

: O

!/2 !P -, A - Q A

H D DP 9 H D# D#P 4

: 9+4=13

B. 4. 1. ( )

19 , 20, 3.1:

2: :DT ! D, D#

: O

!/2 !P -, A - Q A

H D DP 9 H D# D#P 4 H DT DTP 11

: 11=13, .

B. 4. 1. ( )

20 , 20, 3.1:

3: :-B-, D

: O

Q/2 BP -, A x

B. 4. 1. ( )

21 , 20, 3.1:

4: :-B-, D

: O

Q/2 BP -, A x>y H D DP 0

-- W 0

0 ( x=0)

B. 4. 2.

22 , 20, 3.1:

: v .

: v: |H|

:

.

( )

B. 4. 2.

23 , 20, 3.1:

5: :-B-, A

: O

Q/2 BP -, A x

B. 4. 2.

24 , 20, 3.1:

6: :-B-, A AC !A, C

: O

Q/2 BP -, A x

B. 5.

25 , 20, 3.1:

.

.

: sum/2 mult/2 , : E(x) x :

- A-

B. 5.

26 , 20, 3.1:

. :

...

x ]- 4-

x ]- 4-

x ]- 4-

x ]- AC4A 4C - :;

B. 6.

27 , 20, 3.1:

1 ^_`a=bc

^_`a=bc

2 ^_`a=bc

^_`a=bc

^_`a=bc

^_`a=bc

3 ^_`a=bc

^_`a=bc

^_`a=bc

^_`a=bc

4 ^_`a=bc

^_`a=bc

^_`a=bc

^_`a=bc

5 ^_`a=bc

^_`a=bc

^_`a=bc

^_`a=bc

B. 6.

28 , 20, 3.1:

6 -dedaca=a`g-

Y

dedaca=

Y dedaca=

Y dedaca=

7 -dedaca=a`g-

dedaca=

dedaca=

8 -A-bhibcjiA

Y

bhibc

Y bhibc

9 -A-bhibcjiA

bhibc

bhibc

B. 6.

29 , 20, 3.1:

10 -A-bhibcjiA

Y

bhibc

11 -A-bhibcjiA

bhibc

12 -A - k A -bhibcjiA

Y

bhibc

Y

bhibc

13 -A - k A -bhibcjiA

/

bhibc

/ bhibc

B. 6.

30 , 20, 3.1:

14-

ded`aca=ba`-

A`j`d=ded`aca=ba`A

- A

15

-A

ded`aca=ba`-

`j`d=ded`aca=ba`A

- k A

C`j`d=ded`aca=ba`C

C - C A

. 1

31 , 20, 3.1:

:

Q/2 , f/1 , c,d .

))((),(),(.2)]))(),((([.1

xfydxxyyxyQxdcQdycxyfxfQyx

. 2

32 , 20, 3.1:

P/2 Q/3 , f/2,g/3 , c,d x,y,z . , , ,

:

))),,,(,(),,((.7),()),,(,(.6

),()),,(,(.5),(),,(.4

))),,(,(),,((.3),(.2),(.1

xxxxgxQxxfPyxyPxcyxfxg

xxzPyyxfxQyxPdcxQ

cyxfxgyxfPyxyQxyxyPx