.[3] , , . . , , . , . , .
, (TU), .. : TU = F (Qa, Qb, , Qn), TU , Qa, Qb,, Qn a, b, , n .
, (MU) .
. , .. . ( ) , - ( ) , , . ().
B (.2.1), . , . i- : .
.2.1.
(.2.1, ) TU . , , . ( ), .
. , , . . , , , , , , (.2.1, ).
|
|
, ; a, b, , n a, b, , n; , (, , .).
: , , , , . , λ , . , .
( Y) , , Y. . , Y . ( X Y), , .. .
, ( , ) , - , , , . .
, , .
, , . . , , , .
, 5 2 3 3 , , : , , - , . , , ( ) , . , , , , - . , .
, . . .
|
|
, , , , .. , , . , , , . , , .
1. () ( ). > ( ), > ( ), ~ ( ). , , , .
2. . , , > > , > . , . , .
3. . , , . ~ .
4. , , , . , , (, ).
5. . , . , . .
( 1881 . .).
: ( ) Y () (.2.2). A, B C U, , . U , , . , . . , , 10 20 A B.
, .
:
1. . , . , , , , . .2.3 > > > D.
2. .
3. . .
4. .
5. , .
MPS , ( ) ( ) () .
|
|
, , , . , , .2.4, Y X : .
, .
.2.5 , , . - MRS , .. () ( ).
, . , . (.2.6) . , I . . II X Y ( Y), IV , III .
, , :
TU = f(X,Y) ;
, ;
.