English Version Русская версия
ОПИСАНИЕ

????????? ??????? ????????
???,????, ramil@cs.msu.su

???????? ?????????????? ???????????


 



??????????????? ??????????? ???????? ???????????, ???????? ????????????? ? ????????????? ????????????? ????????????? ????? ?? ?????? ???????? ?????, ??????????? ??????????????? ?? ?????? - ??????????? ??????. ??? ??? ?????????? “????????????” ?????????? ??????, ???????????? ?? ????????? “?????? ???????????? ????????”, ?? ?????????? ???????????? ??????????? ??????????, ?? ??????????? ?? ??????? ???????. ?????? ???, ? ???????, ????????, ?? ??????????, ??????????? ?? ???????????? ??? ??????? ???????? ???????. ?? ???????? ??? ?????? ?????????????? ??????????? ???? ???????? ???????????. ? ??? ??????????? ???????????, ??????????? ?????????? ?? ?????????????. ???? ?????????????????? ?????????? ????????? ??????????????? ?????????? ????????? ? “???????????? ??????????”, ????????? ??????? ?????????? ?????? ??????, ?? ?????? ???????? ?????????? ?? ?????????? ????? ??? ???.

???????, ?????? ?? ??????? ??????? ?????? ???????? ?????????, ???????? ?? ??, ??? ?????????? ????????? ???????? ????????? ?????? ?????, ??? ? ?????, ? ??????? ??????, ???? ? ???????????, ?? ?? ???????????? ????????????????? ????. ????????? ?????? ?????????? ? ???????????????? ???????????: ???? ??? ???????????? ????????????????? ?????????? ?? ?????????????????? ???????? ????????? ?????????? ? ?? ?????????????? ???????????? ??????????? ???????????? ?????????? ??????????? ????????????? ?????????? ????????? ??????????? ???????.

???????????????? ?????? ??????????? ????????? ??????????, ????????? ??????? ?????????????? ????????????? - ????????????, ??????? ??? ??? ???????? ??????????????? ???????????????? ????????????. ???????????? ???????????, ? ? ??? ??? ??????????, ?? ??? ?? ?????????? ? ??????????? ?????????? ???????????, ??? ????? ??????? ??? ??????????, ????? ? ?????????? ???‑?? ?? ???, ????????, ????? ?? ?? ????????? ?????? ????????. ?? ????? ???? ? ???????????? ?????? ?? ?????? ??????, ?? ? ???????? ?????????, ???????? ?.???? ? 1965 ?. ? ??? ??? “?? ?????????” ??????????? ???????. ?? ?????????????? ??????? ?????? ?????????? ?? ??????????? “????????????” ? ???, ??? ??? ?? ??????????, ? ?????????? [3]. ??????? “?????? ???????????? ????????” ? ?????????? ?????? ? “?????????? ????” ? “?????????? ???”, ??????? ?????? - “????????, ???? ? ????????, ???”. ????????????? ??????? ????????? ??????????, ???????????? ????????????? ??????????? ? “?????? ?????????” [57b1]:

“...????? ??? [???????] ????????? ???? ? ????? ???, ??? ???? ???? ????, ?????????? ???? ? ??????, ?????, ???? ??? ???????, ?? ????? ? ???????, ?????? ???? ?????? ????, ?? ?? ??????????, ????? ??? ??????. ?? ??????????, ????? ???? ? ?? ?? ???? ?????????? ? ????? ?????? ???? ? ????? ??? ???.”

? ???????????? ????????? ?????????? ???????????? ?????????????????? ????????            “?????? x???? y”, ???????? ??????? ? ???, ??? ?????? x‑???? ?????????? ???? xy‑????, ? ?????? y¢‑???? (??‑y‑????) ?????????? ???? x¢y¢‑????. ??? ???? ??????????? ????????? (??????????) xy¢‑????, ????????? x ?????????? ?????? ???? y (?? ????? ???? y¢). ?????? ?????? ? ???, x¢y‑???? ?? ?????????, ??? ????????, ?? ?? ?????????? ? ???? ??????? xy‑ ? x¢y¢‑?????. ???? ?? ?????? ? “?????? x ???? y” ??????????? “?????? y ???? x”, ?? ????? ????????? ??? xy¢‑, ??? ? x¢y‑????, ?.?. ????????? ????????? ??????????????? - “x ??????????? y”, ????????? ? ??????????? ??????: “??????????? / ?????????????”. ??? ????????? ?? ?????????? ????????? ??? ????????: “?????????? ????” / “????????, ?? ?? ??????????” / “??????????”, ??????? ??????????? ?????????? ??? ??????????? ????????? ?????????? ????????????. ??? ??????? xy¢‑????? ?????????? ??????????, ? ???? xy¢‑????? ???, ?? ?????????? ?? ?????????, ?.?. ????????, ?? ?? ??????????. ? ??????? ?? ??????????????? x‑?????, ???? y¢‑?????, ?????????? ?????? ?? ???????? ??????? ??????????? ????? ?????????, ?? ?????????? ???????????? ?????????. ? ???? ??????? ?????? ?????? ????? ????????? ????? ???????? ??????????.

??? ?????????? “??????????” ?????????? ?????????? ????????????? ??? ?????? ?????????????? (?????????????) ?? ????????. ???, ??????? ?????????? ??????, ?????????????? ????? ??????????????? xy¢‑?????, ?.?. V¢xy¢, ????????????? ??????????? ??? ??????????????? x‑?????, ? ????? ??? ??????????????? y¢‑?????, ?.?. ??? V¢x? ??? V¢y¢. ?????????? ?? ??????, ???? ?????? ? V¢xy¢ ??????????? Vx ? Vy¢ - ????????????? x‑????? ? y¢‑?????. ? ?????????? ?????????? ?????? ???????????? ? ???????????? ??????????? ?????????? VxV¢xy¢Vy¢ [1]. ? ??????????? ??????????? ?????????? ????? ????? ????????? - VxyV¢xy¢Vx¢y¢ - ???????? ??? ?????????????: ?????? ? ??????????????? ???????????????? ???????????? ????????? ???????????? {xx¢}´{yy¢} ?????? xy, x¢y¢ ? ??????????????????? xy¢ ???????????? ???? x¢y. ???????????? ???????? ?????? ????????????? ?????????????? - ???????????, ?????????, ?? ?? ???????????. ????????????, ??????????? ??????????? ??????????????, ???????, ? ?????????????? ?? ????????? ??????????.

? ?????????????? ?????? ?????????? ?? ???????????? ???????????? ?????????????????? ??????? “??? A ???? B”, ???????????? ?? ?? ??????????????? ?????????? ? ??????????? ??????????, ???????? ? ???????? ??????????? ????????????? ?????????????? ?????????? ??????, “??? ?????? ? ?????? ???????????? ????????? ???? ?? ???????????????” [2, ?.79]. ??? ?? ????????? ???????? ????, ??? ?????? ??? ???? ???????? ????????????????, ???????, ??? ?? ?????????? ?????????? “?????? ????????? ???????? ????? ???????, ????? ???????? ????????????? ????????? ????? ?????????????? ?????????? ????????” [2, ?.17].

?? ????? ???? ????????????????? ?????? ??????? 2,3 ???. ??? ???? ????? ???????? ??????, ????? ???????????? ? ???????????? ?????????????, ??????? ???? ???????????? ??????????? “????????????”, ??????????? “?????? ???????????? ????????”, ???????????? ??? ?????????? ?????? ??? ???????? “??????????” - “??????” / ”????”. ?????? ?????????????? ?????????? ????? ?????????? ???????????? ?????????? ?????????? ? ??????? ??????????. ?????????????? ?????? ???? ???????? ??? “????????” ? ??????? ?????????????? ??????, ? ???????????? ????????? ?? ?????????????? [3].

?????? “???????????????” ?????????? ? ?? ?????? ????????? ?????????? ? ?????????????? ?????????????? ????????????? ?? ???????? modus ponens ? modus tollens. ? ?????????????? ?????? ????? ????????? ?? ??, ??? ?????????? - ??? ?? ??????????: “??????????? “???? X, ?? Y“ ?? ??????? ???????? ??? ????????? ??? ????????? ????????? ? ?????????. ????????, ???????????? X®Y ??????? ?????? ??? ? ??? ??????, ????? X ???? ?????? ??? ?? Y ???????? ????????????” [2, ?.20]. ?????? ?????? ? ??? ? ?????????????? ?????? ???? ???? ?? ??????????????? ????????????? ??????????? ?????????? ? ??????????? ????????????? ???????????, ????????? ? ?? ? ?????? ????????????? ? ????????? “??? A ???? B”. ? ?????????? ? ????? ?????? ?????????????? ?????? ???????? ?????????? ??????????? ? ???????????????? ?????? ???????????? darapti, bamalip, felapton, fesapo [2, ?.79] ? ??????????? ????????? ?????????? ???????? ??????, ??? ???????? ?????????? ?? ???????????? ???????????? ? ???????? “??? A ???? B” ?? ?????????? ? ?????????????? “????????? A ???? B”.

?? ?????????, ???????? ? 1920 ?. ??????????? ????????? ??????, ? ????? ????????????? ????? “??????????????? ???????????? ? ????? ?????? ??????????? ?????????? ??????” [4] ????????????? “???????” ????? ?????????????? ???????????? ?????????? ? ???????????? ???????????, ??? ???????????? ???? ???????????? ???????????: “?? ??????????, ????? ???? ? ?? ?? ???? ?????????? ? ????? ?????? ????, ? ????? ??? ???” ???????. ??? ??????? ? ????? ?????? ??????, ?? ??????????? ???????? ?????????? ????? - ????? ?????????. ???????? “??? A ???? B” , ?????????? ????????? ?????????? B ?? A, ?????? ????????????? ? “?? ???? A ?? ???? ??-B”, ??????? ? ???????????? ????? ???????????? ??????????? ????????? ??????????.

????, ??‑????????, ? ???, ??? ?????? ????????? ??? ????????? ??????????, ??????? ? ???????? ??????????, ? ? ??????????? ?????? ??????????? ???????????. ?????????, ?????????? ???????????, ??????? ??????????, ?????????? ??? ?? “???? ..., ?? ...” ? ???????????? ??? ?? ???????? ®. ?? ???????????, ??? ?????????? ????????? ?? ??????????. ?? ???? ??? ?????????? ??? ??????, ?? ?????? ? ??????????? ? ???????? ?????????? ??? ????? ?? ??????. ? ??? ?? ??????????????? ??????? “???, ??? ??????”, ?? “2´2=4” ???????, ??? “???? ???”.

??? ??? ?? ?? ????????, ?????????????? ??????? ??????? ??????????? ??????, ? ????????? ?? ?????????, ???????????, ?? ??????????? ????????. ???, ? ????? ?.???????????? [5] ????????????? ???????? ?????????? ??????????????? ???????? ? ?????? ???. ????? ?????????? ?? ???????? ??????????? ?? ?????, ??? ???? ?? ??????????? ? ??????????? ????????. ?? ???? ?????? ??? ?? ? ???????????, ? ? ?????????? ? ??? ???????????, ??????????????????? ?????? ??????????? ????????? ????, ??????? ??????????? ????????, ???????? ?? ??????????? ???????? ??????? ???? ?????????. ??????? ? ??????????? ????????????? ???????????? ??????, ????????? ??????????????? ???????? ??? ?? ???????????? ???????????????.

??????, ?????????? (??????????????) ?????? ??????? ??? ?? ?????? ? ???????????, ?? ? ?? ???? “????? ? ????????”, ???? ? ??? ?? ?????, ??????? ?? ????????? ?????????????? “?????? ???????????? ????????” (???????????? ?????????????? ??????????), ? ??????????????? ?? ??????????? ????????????? (“???????????????”) ?????. ???????????????? ??? ??????????, ?????? ??? ????? ????? ?????????? ????????. ???? ?? ??????????? ???????? ?? ????????, ?? ?????????? ??, ??‑??????, ??? ?????? ?????????? ??????????, ? ??‑??????, ??? ????????????? - ???????????, ?? ?? ??????????? ??????? ???????????? ??????. ?????? ?? ?????????? ?????????, ??????? ?????????? ?????????????? ?????? ??? ??????.

???????? ??????????? ???????? “????????????? ??????” ?????? ??????? [6], ?? ???????? (??? ? ????????????) ???????? ????????? ? ??????????? ????????. ? ??????? ??? ?? ????????????????? “????????”/ ”??????” ????????????, ?? “?????? ???????????? ????????”. ??? ?????? ????????? ????????, ?????????? ??????????? (?????????) ?????, ?????????????????? ?????????????? ????????? (????????????). “?? ????????? ????????? ?????... ???? ???????? ??????????... ????? ??????? ??? ????? ???????????? ????????? ????? ???????? ????? ???????????? ????.”

???????? ??????????????? ??? ??????????????????? ????????? ?????????, ??????? ??????? ???????????? ??????????? ???????? x, y, z,... ??????????? ?????. ?????? ? ??? ???????? ???? ?? ????????? ?????? ???????? ?????????? ?? ???????????? ?? ????????? ? ????????????? ??? ?????????? “??????? ????????”, ??????????? ????????? ???????? ?????????????? ????????????? ?? ?????? ????????, ???? ??? ??????????.

????????? ??????? ?????? ???????????? ??????? ?????????? ?????, ???????????? ??? ??????????? ??????? ???????. ?????? ??????????????? ?????????????? ?????????? ?? ??????????????? (?? ??? ????? ?????), ? ?????????????? - ??? ????????? ?????, ? ??????, ??? ???????????? ????????? ???????????? ??????? ??????????????? ????????????. ????? ????, ??????? ????????? ????????????? ?? ???? ?? ????, ? ???? ?? ???? ???????? - ?????? ? ??????????? “0” ???? “1” ??????????? ????????? (??????) ??????, ?????????? ???????????????? ?????????????? ??????????????? ?? ????? ??????????????? ?? ????????? ????????????. ??????, ??? ?????? ??????? ???????? “1” ??? ?????????????, ???????? “0” ??? ??????????????? ????, ? ??????????? ?????? ? ??? ?? ?????????? ?? ????, ?? ???????.

????????, ????????? ??????? ?????????? ?????? V¢xy¢ ?? ????????????? ????????? ??????? ???????????? ???????????? ????????? “0” ? xy¢‑??????. ?????? ??????? ??? ????????? ??????: ????????????????? ????????? “?? ???? xy¢ ?? ??????????”, ???? “?? ???? x ?? ???? y¢“, ???? “?? ???? y¢ ?? ???? x“.

?????????????????? ???????? “??? x ???? y“ ? ??????? ????????? ? ???? ?????????? ????????? ?? ???? ???????????????????? “????????? x ???? y“, ???????????? ???????? ????????????? “????????? xy ??????????”. ?????? ??????? “??? x ???? y“ ??????? ?????????, ????????????? ???? ?????????: “?? ???? x ?? ???? y¢“ ? “????????? x ???? y“, ?.?. V¢xy¢Vxy - ?? ????????? “0” ? ?????? xy¢ ? “1” ? ?????? xy.

????, ??? ??? ??? ?? ?????????? (???? ?? ?? ?????????? ????????), ?? ??? ? ?? ??????????? ???????????? ??????????. ?? ?????? ?????????????????? ?????????? - ??????????, ????????, ??‑????????, ???? ????????? ???????? ????????????? ????????????. ???????????? ????? ???????? [7] “????????????? ??????” ??????? ???????????? ? ?????????? ???????? ? ??????????? ????????? ?????????????? ???????????? ?????????? - ?????????? ?????????????? ??????.

????????? ????????? ???????????????? ?????? ???????? ?????????? ? ????????? ???????????? ?????????? ?????????????? ??????? ??????????????? ?????????????????? [8]. ?????????????????? ??????????????????? ????????, ??? ? ?????????????? ?????????, ??????????? ????????????????? ?????????, ???????????? ????? ????????? ?????????? ????? ????????. ???????? ?? ??? ? ???, ??? ???????????? ??????????? ???????? xyz,... ????????? (???????????) ??????????? x, x¢, y, y¢, z, z¢,... ???????? ????? ?????? ? ?????????? ????????????? ?????, ?????????? ???????????????? ?????????????, ????????, x‑???? ? x¢‑?????.

??????? ???????, ??????? ??????????????? ?????????????????? ????????, ??? ???????????? ????????? ???????????? {xx¢}´{yy¢}, ????????????? ?????????????? ?????????, ?????????? ??????????? (???????????? ? ???) ??? ??????? ??????????????? ??????????? -VxVx¢VyVy¢. ?? ????????? ??????? ????????? VxVx¢VyVy¢ ???????????? ???????? ????? ????????????? “1” ?? ?????? ?? ??????? ?????????? ??????, ?????????? ????????? ??????? x, x¢y, y¢.  

??? ?????????? ?????????? ????????? ?????????? (??) - ?????? ?????????????? ?????? [8]. ?????? ? ??? ???????? ?????????? V¢xy¢ ? ????????? VxV¢xy¢ ?????????? ???????????? ? ??????????? ??????????:

(V¢xy¢)(VxVx¢VyVy¢º VxyV¢xy¢Vx¢y¢ 

(VxV¢xy¢)(VxVx¢VyVy¢º VxyV¢xy¢Vx¢y¢

??????????????? ?????‑???? ?? ????????? ?? ????????????? ????????? ?????, ????????, xy‑????, ? ?? ???????? ????????????? ???? ??????? ? ??? ?????:

(V¢xy)(VxVx¢VyVy¢º V¢xyVxVy º V¢xyVxy¢Vx¢y 

????????????? ??, ????????, xy¢‑???? ? ???? ???????? ??????????????? ?????????????????? ?????????? ?????? ????? ????????????? ?? ???????? - x¢y‑????. ??????? ???????????????????? ? ??????????????????? ??????? ???????????? ??????????? ???????? ? ?? ????? ???, ? ?? ??????:

Ixy º AxyAyx º VxyVx¢y¢

Oxy º ExyEx¢y¢ º Vxy¢Vxy¢

?????? ? ???, ????? ??????? ??????????? ?? ???, ? ??????, ???????, ?????????? ? ????? ??????????????? ????????:     Exy º Axy¢, Ex¢y¢ º Ax¢y, Ayx º Ax¢y¢.

??????? ????????????, ??????????????? ????????? ???????????? ??? ????????? ? ???????, ???????????????? ????????????? ? ??????????????? ?????, ?????????????? ??????? ? ??????????? ?????? “???????”, ?????????? “?????? ????????”, ?? ?????? ???????? ?????????? ?????????? ??????? ????????????? V - “????????” (???????????? ??????????, ???????? ???????????? ????? S) ? ??? ???????? V¢ - ?????? ???????????????. ?????????????? ?? ????????? ????????? ???????????? ??????????? ??????????, ????????????????? ? ???????????????, ? ????? ??????????, ??????????????? ?????? ???????, ????????????.

??????????? ??????? ???????????????? ????? ??????????? ?????????‑??????? ? ?????????? ??‑????? ?????? [9], ?????????????? ??????? ????????? ? ??????? “????????” ?????????????? ?? ????????????: xy, xy¢, x¢y, x¢y¢. ?????? ???? ????????? ???? ?? ???? ????????: “+” - ?????????????, “-” - ???????????????, “0” - ???????????. ????????, ?????????? (xÞyº VxyV¢xy¢Vx¢y¢???????????? ????????? ?????????????? ?????: +-0+, ??????????????????? ??????? Oxy ?????????? ?????????: 0++0 .

????? ? ???????????? ?????? ??????????? ????????? [10]:

Axy º Ay¢x¢ º Exy¢º Ey¢x º +-0+

Ayx º Ax¢y ¢º Eyx¢º Ex¢yº +0-+

Exy º Eyx º Axy¢º Ayx¢º-++0

Ex¢y¢ º Ey¢x¢ºAx¢y ºAy¢xº 0++-

Ixy º Ix¢y¢º Iyx ºIy¢x¢ º Oxy¢º Oyx¢ º Ox¢y º Oy¢x º +00+

Oxy ºOy¢x¢ º Oyx ºOx¢y¢º Ixy¢º Iy¢x º Ix¢y º Iyx¢ º 0++0

x Û y ºAxyAyx º Exy¢Eyx¢ º +--+

x Û y¢º ExyEyx ºAxy¢Ayx¢ º -++-

?????????????????? ?????????????? ????????????? (?????????? ??????? ??????????) ?????????????? ????? ????????????? ????????????? ??????? ?????????????? ???????, ?? ??????????? ??????? ??????????? ???????? ??????? ?????????? ??????? ??????????, ???? ??? ??????????. ????????, ????? barbara: AyzAxy Þ Axz ? ????????????? x,y,z-?????? ??????????? ???:

Ayz º+-0++-0+

Axy º++--00++

Ayz ÇAxy º+---000+

?????????? y???? x,z-????? +-0+, ?.?. Axz.

????????????? ??????? ??????? ????? ???????????? ???????????? ?????????? ??? ??????? ????. ???, ?????????? Axy ÞIxy, ???????????? AxyIxy  = Axy, ?????????????? ???????????? +-0+ìü +00+ = +-0+.

? ?????????? ?? ??????????????? ?????????????????? ???????????? ????????? ??? ???????????? ? ????? ?????? ???????????? ?????? ??????, ? ????? ??? ???????, ????????? ???????????? ?????????????. ????????, ?? ??????? ????????????? ?????? bamalip?? ????? ???? ??????? ?? ?????? ???????, ?? ? ????? ??????????:

Azyº +0-++0-+

Ayxº ++00--++

AzyìüAyxº +0-0---+

???????????? y, ????? +0-+ ºAzxºAx¢z¢, ?. ?. AzyAyxÞAzx.

?????????? ???????????? ?????? ???????? ?????????????? ??????????? ?? ?????? ?????? ?????? IyzAxyÞIxz:

Iyzº +00++00+

Axyº ++--00++

IyzìüAxyº +0--000+

??? ?? ?????????? y???? +00+, ?.?. Ixz.

????? ?? ??????? ????????? ???????????? ??????? ????????????? ?????? ?????? ?????? IyzExyÞOxz, ? ????? ??????????? ??????? ?????? ?????.

 

  

  

 

 

 

? ? ? ? ? ? ? ? ? ?

 

1. ????????? ?.?. ??????????? ????????????? ???????????? ?????????? // ????????-?????????????? ????????????. ?????? ?????. ???. 8 (43). – ?.: «????-?», 2003, ?.317-327.

2. ???????? ?., ???????? ?. ?????? ????????????? ??????. – ?.: ??, 1947.

3. ????? ?.?. ??????????? ??????? ? ?????????? ?????????????? ?????? // ????????-?????????????? ????????????. ?????? ?????. ???. 8 (43). – ?.: «????-?», 2003, ?.339-401.

4. ????????? ?. ??????????????? ???????????? ? ????? ?????? ??????????? ?????????? ??????. – ?.: ??, 1959.

5. Oppenheimer T. The Flickering Mind: The False Promise of Technology in the Classroom and How Learning Can Be Saved. – New York, Random House, 2003. 512 pages.

6. ?????? ?. ????????????? ?????? // ????? ??????. ??????? ? ????????. – ?.: «???», 1973, ?.189-361.

7. . ????????? ?.?. ????????? ?????? ??????? ? ???????????? ???????????? // «?????????????? ??????? ? ??????? ???????????», ???. 13. – ?.: ???-?? ????. ??-??, 1977. ?. 164-182.

8. ????????? ?.?. ????????? ? ???? ?????? (??????????? ?????????? ? ???????????). ?.: SVR-?????, 2000. (http://www.computer-museum.ru/books/archiv/3pines.zip)

9. ????????? ?.?., ??????????? ?.?. ???????? ??????????????? ??????. // ?????????????? ?????? ????????????? ???????: 12-? ????????????? ???????????: ??????? ????????. – ?.: ???? ?????, 2005. ?. 40-42.

 10. ????????? ?.?. ?????????? ????????????? ???????????? // ??????????? ??????. – ?.: ???? «????? ???????????», 2005. ?. 140-145.


информационные
спонсоры:
 
cпонсоры:

О CISCO