.


:




:

































 

 

 

 


();




3) [2] ().

- .

: S 1 S 2 , ( ) , , (true) (false) .

, − , (. 9.2).

, .

 

 

. 9.2.

 

, , .

: B (TRUE) ( ), S 1; B (FALSE) S 2 (. 9.3). .

, S 2, B, (. 9.4), .

 

   
. 9.3. . 9.4.

 

, , .

( ) , : (. 9.5) (. 9.6).

. .

λ(. 9.5) . λ , .

9.6 . , B , , S.

: ; ; . .

߻, (. 9.7) , . , , . 9.7 , , i i i i . , 1.

 

 
. 9.5. -λ ( ) . 9.6. -( ) . 9.7. ( )

 

, : , .

 





:


: 2015-01-29; !; : 1624 |


:

:

, .
==> ...

1472 - | 1384 -


© 2015-2024 lektsii.org - -

: 0.012 .