arrow arrow Ͳ



<<   ̲   >>

Ѳ

- , - . [Fa :

  • 2) / [Fa , / 6 [
  • 3) F- [?] .

= {F1, F2, F3, F4, F5, F6}, [F]. .

/ 6 [F], , / .

, / [F], | = /, / F, / F. .

, f = / ,

/ [-

8. 1, = {F1, F2, F3, F4, F5, F6} .

. 71 = {, , ..., } - , - F- 71, X 7 Z, Y 71. , X -? # [F], X -> .

, X -? , R , F, X -> .

+ 7Z , - Z 71 , X -> Z ? [F] , Z + , + - , X. , +.

Qi, bi G dom (Ai), i = 1,2, ..., . R , = (<, , ..., ) ',

, X -> Y & [F], F X -? Y.

() = '(). , () = '(). + , , + -? , X -> + [V], , X -? G [F]. .

, F F-

[].

F- W -> Z, W +, W g + , r (W) r '(W). W +, + - W [- X + [F] W -> Z () X - * Z [- , Z + , , r (Z) = r '(Z). , W -? Z.

, R F- [ X -? Y. X -? Y.

. ?

  • 2.1. R (A, B, C) S (D, C } D) - , dom (A) 6 dom (B). :
    • ) RnS
    • ) n B (R) (5);
    • ) <7 = ) (#);
    • ) <7 = , = ) (?);
    • ) N5;
    • ) 7 () 7?> (?)?
  • 2.2. ³ 5 :

( ) S (B D)

V ? d

6 '' " ''

6 " '6" d

6 '

:

;

  • ) S ;
  • ) <7 =: ) ();
  • ) . 2.1.
  • 2.3. S - TZ . ' :
    • ) U 5;
    • ) 5;
    • ) 5;
    • ) R } R - ;
    • ) - ();
    • ) 5?
  • 2.4. X 7Z, R, S - 71.
  • ) 7rx (R S) = nx (R) 7 (5);
  • ) 7 (ij 5) = 7 () U7rx (5);
  • ) 7 (5) = 7 () (5);
  • ) 7 () = 7 (), - .
  • 2.5. '- 71 5 - 5.
  • ) ( ') = ( ) ( / 5);
  • ) () 5 = (5) ('5);
  • ) 5 = 15.
  • 2.6. R (7Z) 5 (5) Q = 5 '= 7 () 5' = 7rs (Q). , Q = ' 5'.
  • 2.7. , "-? , X () -
  • 2.8. - 71, X 71. , 7 () , , X -? - 71.
  • 2.9. 71, W, X, Y Z - 71:
    • ) X -> Z - 7 XU -? U 7 ;
    • ) XU -? Z X -? X Z -? X;
    • ) - ӳ- + 2 X - UZ;
    • ) X -? , 7 - * Z 7 X - Z.
  • 2.10. , FI, F2 F6 . , .
 
<<   ̲   >>