.


:




:

































 

 

 

 


. .




, , , . (. 3.3).

 

 

 
 

. 3.3

. , . , , .

. . 1958 .

(. 10.4) , . , , , : , , , .

:

) . , ;

) , , .

 
 

. 3.4 -

 

1970- . 70- 80- .

.

1973-1975, 1978-1980 , :

;

;

;

;

 
 

;

.

. 3.5 -

AS1 → AS2. : P1 → P2 Q1 → Q2, , .

1988 70- 80- . , :

1981-1982 , , ;

;

1986-1988 15 . ;

1982-1988 , .

AS2 , (. . ).

, , , .

, 1973-1975, 1978-1980 , 1982-1988 , . , , , , , , .

:

( );

 
 

( , , ).

. 3.6 -

 

A1 B1. B1 , . B1 A2 . . . , PCLR , . , , . , .

, , , . A1 → B1 , , PC1, PC2 . 1 2.

, - .

 

3.4 .

, .

 

 

 


. 3.7

:

) , , ;

) .

, , , .

(.). :

1) P1;

2) P1.

1 Qf P1. , P1 P2. , . Q2, 1 2 AS(P1).

P1 P3, , , ( 3). , .

. 2 AS(P1), , . . AS(P1) AS(P2). AS(P2) , P2. 2 1. .

P1 P3 . 3. P3, , ( ), . AS(P3) , C1. 1, 1, 1 . , Qf.

 

.

 
 

, . , .

. 3.8

AD AD1 AD2, .

Qf Q2 P1 P2. , , , , P3.

, ; .

.

. , : , .

. . . . , . , .

, . ,

 
 

, .

:

1. , , .

 

2. , , .





:


: 2017-02-25; !; : 699 |


:

:

,
==> ...

1517 - | 1389 -


© 2015-2024 lektsii.org - -

: 0.021 .