: λ (.7.1 .) + .
:
1) - , :
2) : ;
3) , ;
4) , : ;
5) , , ; !
... , - , , ( -) . ... - λ.
.
λ (.7.2 .) +
- ;
♦ ; - ;
♦ , ;
♦ ;
♦ , , , , , , , , .
.
λ (.8 .).
:
1. - , ;
2. ; - () ;
3. . ;
4. .
... , ,
(), .
.
|
|
λ (. 10 .).
:
1. , , , , , ;
2. ; () , - :
3. ;
4. - ; .
, :
- , (, ) () - , , , , . (.6.1 λ);
- , , , , . , , , (), () , . (.6.2 IIKO);
( 29 2007 . 286- );
(.291 , 6 );
, ( 15 1998 . 66- , ).
5: