r R, A , R. pA(r) , A. A r:
pA(r) = { d Î dom(A) | $ t Î r: t(A) = d }.
r , , , A, .
, . _: p_(). .
p_()
| _ |
. , , . , _ _: p_, _(). . ( , .)
p_, _()
| _ | _ |
r R, A , R, a A (a Î dom(A)). sA=a(r) , r, a A:
sA=a(r) = { t Î r | t(A)=a }.
, . : , 4 . , : _ = 4: s_=4 (). .
s_=4 ()
| _- | _- | _ | _ | ||
| 0.00 | |||||
| 90.00 |
. , , 1979 , _ >1978, , 1979, 1980, 1981 . .
and, or, not . , (_ > 1978)and(_ <= 1980)and( = 100.50).
|
|
|
. r R, s S, T , R, S (T=R Ç S ¹ Æ). r(R) >< s(S) , R S, . r s , T:
r(R) >< s(S) = { t Î RÈS | $ tr Î r, $ ts Î s, tr=t(R), ts=t(S), tr (R Ç S) = ts(R Ç S)}.
_ .
| _ | |
| 100.00 | |
| 120.00 | |
| 140.00 | |
| 130.00 |
. . , , , _. . , , .
><
| _- | _- | _ | _ | - | ||
| 100.00 | 130.00 | |||||
| 0.00 | 140.00 | |||||
| 90.00 | 140.00 |
:
| _ | ||
| 100.00 | ||
| 120.00 | , |
. . , . , , _ _ .
><
| _- | _- | _ | _ | - | ||
| 0.00 | 100.00 | |||||
| 0.00 | 120.00 | |||||
| 90.00 | 100.00 | |||||
| 90.00 | 120.00 |
:
| _ | |||
| 0.00 | 100.00 | ||
| 0.00 | 120.00 | , |
. . , , . , .
|
|
|
><
| _ - | _- | _ | _- | - | ||
| 0.00 | 100.00 |
. r R, s S, R Ç S = Æ, . . . A R, B S (AÎR, BÎS). dom(A)=dom(B). r(R) [A=B] s(S) , R S. r s A B:
r(R) [A=B] s(S) = { t Î RÈS | $ tr Î r, $ ts Î s: tr=t(R), ts=t(S), tr (A) = ts(B)}.
, , , , . , , ( _) . , . _ , [ _ = ] .
| 100.00 | |
| 120.00 | |
| 140.00 | |
| 130.00 |
[ _ = ]
| _- | _- | _ | _ | - | |||
| 100.00 | 130.00 | ||||||
| 0.00 | 140.00 | ||||||
| 90.00 | 140.00 |
, r R, s S SÍR, r, s, , RS r, S s:
r¸s = { t | " ts Î s $ tr Î r: tr(R - S) = t tr(S) = ts }.
(, ), , , (), . , , .
| . . | |
| . . | |
| . . | |
| . . | |
| . . | |
| . . | |
| . . |
¸
| . . |
| . . |
, .
:
1) . , , , , .
2) . .
3) . , .
|
|
|
4) :
a) . . , , . (, , ).
b) . , .
. 3.1. , _ - _ , . , , , . . . , . , .
, , . , (, , , , , ). , , . , . . , , .
, . , . -, , , -, , - , .
: - , . , , - .
: , .
.
, : , , , .
: (, ), (, ), (, , , ). , , , .
.
, , , . . , , :
|
|
|
1. ?
2. , ?
