,
- . .
1
( ---2016-1)
..
-
2016.
.
1. .......3
2. 煅...3
3. . ....4
4. ....5
5. 셅..6
6. 充....6
7. .7
8. . .7
9. - . ..8
10. ...10
11. , : , , , 11
12. 酅...17
13. .19
: , , .
.
, , :
.
, . . .
(, )
hipo , thesis , , , .
. , , , - , - , . - .
, . , , . , .
. , , , , . , : , , .
|
|
()
- F
: (F1,,Fk)
: (F1,,Fn)
, - : (((H → ((F1,,Fk) ˄ (F1,,Fn)) → ?)
: ( ≡ (F1,,Fn))
: ((( ≡ F) ˄ F) → )
.
:
- , .
. , , : , , .
- , . . .
:
, , .
.
:
.
(), 0 1:
0 < / < 1; () = 1 , () = 0 ; () < 1/3 ; () = 1/2 - ; () > 2/3 .
, . , , . : , , ., , ..
. , .
, , . . , .
. .
:
1. : . .
2. : . .
3. : . . .
4. : . . .
|
|
5. : () ()
6. . .
7. ()
8. .
.
, , .
: .
( ) . , .
.
1. , .
2. .
3. (). :
- .
- .
- , .
- , , .
- , , .
- , .
4. . . , . , . , , (). , (, ) , .
, , , ( )
.
, :
(F1 ˄ . ˄ Fk) → (H1 ˅ ˅ Hk)