, ,
. , .
. . . .
. , , .
. . .
. . .
.
.
, ,
. , , .
,
- . .
. , . -, -.
. , . .
. .
. , .
. . , , .
XX (, , , )
XX ,
:
1. . .
2. 2,8 16 10. , .
3.
4. - .
5.
:
1) - , , , , , , .
:
-
-
-
-
1980 . , : =+
, , , , , , .
|
|
|
- ()
-()
-
: , , ,
: ( ), ( ), ( ), .
3) . . . .
, , .
H=log2N ()
N S. - d. 2d>=N. d>=log2N
I = -SUMni=2 pi log2pi
n-
pi i- , pi =1
- ( . )
- ( )
- ( , , )
2)
, , .
:
(, , )
(, , )
(, , )
(,)
(,,)
(,)
1 0 1
1 8
1 213
1 223
1 233
1 243
4) () () .
.
; (), f-
f(A)=B
.
()
()
5) . . .
() () .
.
; (), f-
f(A)=B
,
:
-
- ,
6) () () .
.
; (), f-
f(A)=B
- ,
-
- 256-
, .
7)
|
|
|
-
--
-
-- ()
-
-
-
, . . , , .
, , , , , () .
( ) (fdd), CD(DVD)-, -, . , ( ). , (, ) . , , . , .
( , ) exe, com, sys, bat.
. :
1. :
- ( );
- ( com, exe, bat.);
- ( (boot-sector) , Master Boot Record);
- - ( )
2. :
- ( , . );
- ( )
3. :
- ( );
- ( , , , ..);
- ( , , , )
4. :
- ( . );
- ( - . );
- (-, , , );
- ( , , ( ) , , ..);
- ( , .
8)
. , , . .
|
|
|
, , .
. . 6 .
. .
.
. , () .
/ . , 32710 = 3×102+23×101+3×100.
. , /, .
. / , p Î N. p . p p -.
- ()
-
-
- - ;
-n=XnPn+Xn-1Pn-1X1P1+X0P0
- ={0;1}
- ={0;1;2;3;4;5;6;7}
- ={0;1;2;3;4;5;6;7;8;9;A;B;C;D;E;F}
:
,
: 10 ,
:
, 0
.
: 10011 --- 01100
: +
10) . , ,
, .
, ; - ; ; 2 .
() f(x) ,
.
f(x) R(f)={0,1}
| x | y | -x | x A y | x V y |
20) Internet , . Internet , - , , .. , . , Internet , .
1961 Advanced Research Agensy (DARPA) . , ARPANET, . 1969 ARPANET . 1970 ARPANET NCP(Network Control Protocol). 1971 15 ARPANET 1973 , . 1975 ARPANET 1976 ATT Bell Labs UUCP, 1979 USENET, UUCP. 1983 TCP/IP . , ARPANET . ARPANET MILNET, Defence Data Network(DDN) . Internet : MILNET ARPANET. 1987 10000. 1988 NSFNET T1(1,544 /.). B 1999 - Internet 2 Internet Assigned Numbers Authority(IANA), , IP-
|
|
|
11) ,
. F (X1, X2,..., Xn)
, ,
A1, A2,..., An, .. λ(F (A1, A2,..., An)) = 1
A1, A2,..., An.
. |= F (X1, X2,..., Xn) F (X1, X2,..., Xn)
.
:
((X → Y) ∧ (X → Y)) → X
. :
(1) P ∨ P;
(2) (P ∧ P);
(3) P ↔ P;
(4) P → P
(5) (P → Q) ↔ (Q → P);
(6) ( ) ((P → Q) ∧ (Q → R)) → (P → R);
(7) (P ↔ Q) ↔ (P ↔ Q);
(8) P → (Q → P);
(9) " " P → (P → Q);
(10) "modus ponens" (P ∧ (P → Q)) → Q;
(11) "modus tollens" ((P → Q) ∧ Q) → P;
(12) (P → (Q → R)) ↔ (Q → (P → R));
(13) (P → (Q → R)) ↔ ((P ∧ Q) → R);
(14) ((P → R) ∧ (Q → R)) ↔ ((P ∨ Q) → R);
(15) ((P → Q) ∧ (P → Q)) → P;
(16) (P ∧ (P ∨ Q)) ↔ P, (P ∨ (P ∧ Q)) ↔ P;
(17) (P ∧ Q) ↔ (P ∨ Q), (P ∨ Q) ↔ (P ∧ Q);
1. .
. F F → H , H
.
2. .
. F X
H . F X
H, , ,
F H X.
, , , .
, , .
, , , .
.
, , .
, , .
|
|
|
: . : , , . : .
, , , . , , , . , , , , , .
:
, .
, , , .
, , ?
, , , . , , , , , , .
. .
́ , : . ́ ( ) ( ). , .
:
(́ )
( )
()
:
S ; P ; M .
S () , ( ):
1. : , ,
[] . :
, . : S P
, . : , ,
2. . : , . .
P () , (2 ):
, , . : .
- . . : , .
