.


:




:

































 

 

 

 


3.




(4 )

4-.

(2 )

 

1. , . .

2. . .

3. .

4. . .

 

1. . , :

1.1. , , ;

1.2. ;

1.3. IBM ;

1.4. ;

1.5. ;

1.6. ;

1.7. ;

1.8. , ;

1.9. ;

1.10. ;

1.11. ;

1.12. ;

2. :

2.1. ;

2.2. ;

2.3. ;

2.4. ;

2.5. .

3. (, , I, ), :

;

;

;

;

;

.

4. , , I, , :

4.1. , ;

4.2. , ;

4.3. - ;

4.4. - .

5. , :

, I, O, ;

I, O, ;

, , I, ;

, , O, I ;

, I, O, ;

, , I, ;

I, O, ;

, , O, I ;

6. , , :

6.1. .

6.2. .

6.3. .

6.4. .

6.5. .

: ()

()

(I)

(0).

7. :

7.1. , - ;

7.2. - ;

7.3. - ;

7.4. - - - .

 

 

.. . - ., 1986, . III. 1,2.

.. . . - .,1991.

.., .. . - ., 1982, .IV, 1-3.

. . - ., 1991, . I, 1.

/ . .. - ., 1998, . I.

.. , ., 2002, .III, . 1, 1-5.

.. . - ., 1991, . III.

. ., 1990, . III, 13-21.

. - , 1987, .II, 14-21.

 

 

1. ?

2. ?

3. ? ?

4. ?

5. ?

6. ?

7. - ?

8. ?

9. , ?

10. ?

11. ?

12. ?

13. ?

14. ?

 

5.

(2 )

 

1. . .

2. . .

3. . .

 

 

1. :

1.1. , (..);

1.2. ;

1.3. , (..);

1.4. , ;

1.5. , : , , , , , ;

1.6. , , ;

1.7. ;

1.8. , ();

1.9.

(..);

1.10. , - 180;

1.11. ..;

1.12. . , ;

1.13. , ;

1.14. , .

2. , :

2.1.p & q , q ;

2.2.p v q , q ;

2.3.p v q , q ;

2.4.p q , q ;

2.5. p q , q ;

3. :

ù(p(p\/q));

ùp & ùq;

(p & q) p;

ù p\/q.

4. , :

4.1. ?

4.2. , , ?

4.3. ..?

4.4. ?

4.6. ?

4.6. ?

4.7. , ?

4.8. ?

4.9. ?

4.10. ?

4.11. 2?

5. :

5.1. , ,

,

:

?

,

?

:

(.).

5.2. . , , , , : ( ) , (.).

 

. . . - ., 1986, . , 3.

.. . . - .,1991.

.., .. . - ., 1982, . V, 1-2.

/ . .. -., 1998, . I, VII.

.. , ., 2002, . III, . 2, 1 - 3, . 3, 1- 4.

.. . - ., 1991, . II.

. - ., 1990, . III, 18,22,23.

. . . - ., 1982.

. - , 1987, .II, 22.

 

 

 

1. ?

2. ?

3. ? ?

4. ?

5. ?

6. ?

7. ?

8. , . , ?

9. ?

10. ?

11. ?

12. ?

13. ?

14. ?

15. ?

16. ?

17. ?

18. ?

 





:


: 2016-11-12; !; : 471 |


:

:

: , .
==> ...

1760 - | 1728 -


© 2015-2024 lektsii.org - -

: 0.022 .