.Қ ғ ү Ққ
.
қ: ң ң ә .
-ң қ қ .
ғ: қ
:-16Қ
Қғ: .
2017
ұ:
1. .
2. қ .
3. () ң ң.
4.қ ң құ .
, ң ү. ң ң ү 1 ( ң ), ң 0 ( ң ө) ә ә ң қ : sup {x, Cx}=1, nf {x, Cx}=0 қ қғ, . Sup ә nf ә Ú \/ Ù ң, /\ ң . ұ ң ғ ә қ ұқғ ө. . ң қ -қ . ң , қғ ә ұғң ғ ұққ . , Ú, Ù қ қ қғ ү. ң ө қ ң: +2=(Ù)Ú(Ù). ұ D, |x-| . +2 (қ) ә Ù (ө) қ . ғ . ң (1815 1864) ң (1847, 1854) қ ң . ң ә ү (ққ , , қ , ..) ң қ.
ұ ғ құғң құ қ ң құ ү қ ә 1854 . құғ қ. қ қ қғ ө, ө ңғ ұ ғ ү қ қ, қ ң ү ә қғ қ ә қ ү ө ғ қ құғ құғ ү , ң. ғ , қң қ ққ , қ қ, - қ қ . ң ә қ ң қ ә қ, ө қ қ ү қ қң құқ қ ү әң қ. Қ ғ құқ-қ , өң ә ң құ , ң, қ ғң қ ң құқ ө . , қ ү : , ғ қ ә ұ. құғ ү ү қ ө : , ққ ә қ. ү қ өң ү; ү қ ү қ; ү қ . қ ғ , , қ ң қ ү әү ң . , {0,1} қ ә {ққ (True), ғ (False)} ү. қ, ң B={0,1} ң; ұ қ . ң қ 0 ә 1 ; ғ қ 0 ә 1 ә , қ ғ ғ ғ (False) ә ққ (True) қ ә ә . қ құ- ү ң ү ә 0 ә 1 ә қ, қ; ү
|
|
қ. ң қ ғ ң, ғ () қ.
|
|
1
қ :
X Y {X Y|X
ә Y}
{X+Y|X
Y}
{X`|
X}
(a) | (b) | (c) |
, ң ү: Ә (AND),
(OR) ә (NOT) , қғ
ң ғ . Ә қ ө , { | ә } ө ң ә 1 () қ. қ қ , {+| } ң ә 1 (b) қ. ә, қ , , {`| } ң ә 1 () қ; 1 () . , B={0,1} , 1- {Ә, , } ә қ.
қ ө қққ қ қ қ, қ ң , ғ қ ң құ-қ . құ құ қ
(gates) ; қ қ қ ғ қ қ ; ң ө қғ. қ ң {Ә,,} ә ( қ) қ, ғ ң қ ұғ қ, ғ ә ә . қ (19) құ . қ ,{Ә,,} қ қ ң қ қ :
{Ә,},{,},{Ә-} ( ),
{-} ( ғ) ә .. , ғ
{Ә,} ғ ү {X Y,X+Y,X`} {X Y,(X` Y`)`,X`}
ғқ, қ қ ғ. қ ә ң қ
() ; ұ ә
, ғ ә қ . ғ ә ө ғ ө ңғ ә , ңғ / ә/ қ; ғ , құғ ө қ ғ қ ғң ө ң
қ. ң ә , ғ ң әқң {Ә,,} қ ү , қ қ ү ғ . ұ қ ү құқ : ү , , ң ә .. ұ
|
|
ү ғ ұ ә ү ө ү ғ ү ғ ү (). қ ү ә , ң қ өң -қ құ.
ғ , қ ң ; ң қ қғ . ғ {Q,Q`} ұ (ғ ғ қ ү ғ) . қ, ғ Q- ққ , Q`- - ғ қ . ғ ң ү ә : 1 (қ) ә 0 (ғ). ʳ ә ү ү ө ә ұ ү ң ғ ң ә ө: ғ (1) ә ө (0), ң . ө: RS-, T-, D-, JK- ә .. ү ғ Q(Q`)- қ, ң қ ө ө . RS- ң қ ү құғ .
ң ғ, , ә .. ғ . қ - өң ү: ғ ә ң қ - ә ғ ө қ ү ү.
құғ құғ ғ
ө ғ қ , қ ү құғ ү . қ ә қ қ ғ ғ ұ. қ ү ө ә құғ . ң қ ү әү: ә (), (), ү (Ү) ә ө ү (ӨҮ) ә ұ. ү қ қ қ құ: AND,OR,NOT,AND-OD,OR-ELSE ә .., қ . , Ү ә ӨҮ қ ү, ұ - құ.
Қ ғ -ң -қ өң
|
|
Ү ӨҮ қ . ң ә қ құ Ү ӨҮ қ ә , Ү- қ құ ә қ.
() ң ң:
1. ң. (. , қ
). X1 ÚX2 = X2 ÚX1 X1 ÙX2 = X2 ÙX1
2. Ү ң. (. ).
X1 Ú(X2 ÚX3) = (X1 ÚX2) ÚX3
X1 Ù(X2 ÙX3) = (X1 ÙX2) ÙX3
3. ң. .
X1 Ù(X2 ÚX3) = (X1 ÙX2) Ú(X1 ÙX3)
X1 Ú(X2 ÙX3) = (X1 ÚX3)Ù(X1 ÚX3)
4. ұ ң. X1 Ú(X1 ÙX2) = X1 X1 Ù(X1 ÚX2) = X1
5. ң. X1X2 ÚX1X2 = X1 (X1 ÚX2)(X1 ÚX2) = X1
6. .
X1 ÚX2 ÚX3 = X1 X2 X3; X1X2X3 = X1 ÚX2 ÚX3
қ ң құ :
қ қғ ү қ ғ ғ қ қ ң ққ ң ә . қ ң құ -қ ү, ө қ ә ү қ ә ұ өң ө. Қ қ (), , ұғ, ң қ ә әң ү .
Ә, қ ғ ғ қ ұ . қ ғ қғ . қ қғ құ ү, қ әң ә, ң ұқ, ғң ү-ү ә .. құ ү қғ қ . ұ ң ә, ә құ. ә құ , ә . : ң ұқ ғң ө ғң ө ң құ.
қ қ , , қ қғ, ғ = f ().
қ құ үң 0 1- ұ ұ . ғ ңғ ғ ң ғ қ . қ қ, құ ғ, ң ә 0. ғ қ құ ңқ (ққ), ң ә 1.
, ғ ң () қ 1, ө ң қ 0 ғғ . қ үң қ ү қ. ғ қ ң ә қ 0 1 ө ғ .
Өң ү қғ қ . ғ 0 1 ә қ .
ү ә ң , қ ә қ , өң қғ қ қ қғ .
ү - ң ө ғ әң - +5 ө қ ө қ, 0- 0,5 - қ 0-, 2,5- 5 - 1- ә .
қ ң қ . ң ғқ 160 ұ ғ қ ұ. ң қ өң ғ.
ғ ә 1854 қ -ң ү қғң ғ. ұ ң ә қ, ә: ә - қ, 0 - 1; қғ - қғ, .. . қ ң ң ғ ң қ . ѻ, ӘŻ, Ż ң ө -ң ү ғ ә. ң ұ қ ү ә ә ә қ - ң қғ ү құ ә қ ғ . ұ қ ә қ қ ә . ң ұ ә ң құ ғ ө ө.
ң қ ұғ . ϳ қ қққ ұғ ғ ұ ү. ϳң ә, ұ, ө, қ қ қ қ. ұғ қғ ң ққ ғ ү. : = ң құ 䳻. = ө ң қ ө䳻 ң - ққ, - ғ. ұғ қ, , ә, ң ққ ғ 1 ә, ғ ғ 0 ә қ ң . ұ қ ( ) . , ғ ғ : = 1; = 0. ϳ қ ә ү ү. ϳң ә қ қ ң ә ә , қ . қққ ә қ ң ә қ қ ү . ү ң, ғ қ ң қ . Қ қ ққ. ң ө қ ү құғ қ -ң құ. қ . қ , құ . , : : 5 > 2 - , D: 5 > 2 ә 5 қ -құ , ө : 5 > 2, 5 қ құ. Құ ә ү ғқ ә ө қ құ. : қғ D ә ғғ қ құғ. өұ - өұ - ә өұ - ғқ қ құ ұ.
Құ ..., ..., ә ө ғ .
: үұ ң қғ , ң ү볻, өұң қ ү ққ ө , ә ғ өұ .
ә, , ..., ..., ә ә ғ ұқ , ғқ . ө ғ , ө ұ ғқ құ .
ө қ ғ ... ұ ққ. қ (ққ) ғ қ қ. қ ұ ө қ ө ғ. ө ... ұ ққ, ң ө . ... ұ қ ө ө ғ .
ә, , ... ұ , ..., ..., ә , .. қ ә ү , ә ң ғқ қ.
|
|
Қғ ә :
1. John von Neumann First Draft of a Report on the EDVAC. University of Pennsylvania (30 1945).
2. ғғ өң↑ Ү қ: қ {{қ}}
3. ғғ өң↑ Cragon, H. G. Computer Architecture and Implementation Cambridge University Press. P. 2. 238 p. ISBN 978-0-521-65168-4.
4. ғғ өң↑ Burks A. W., Goldstine H. H., Neumann J. Preliminary Discussion of the Logical Design of an Electronic Computing Instrument Institute for Advanced Study, Princeton, N. J..
5. ғғ өң↑ . . : .: . . 320. 104 . ISBN 5-02-013997-1.
6. ғғ өң↑ Backus, John W.. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. doi:10.1145/359576.359579.
7. ғғ өң↑ Dijkstra, Edsger W. E. W. Dijkstra Archive: A review of the 1977 Turing Award Lecture. , 11 2008.
8. ғғ өң↑ - .
9. ғғ өң↑ Scientists Build A Computer That Works More Like The Human Brain: SCIENCE: Tech Times