Документ взят из кэша поисковой машины. Адрес оригинального документа : http://ternarycomp.cs.msu.ru/Papers/brusentsov_obobsch_alg_2011.pdf
Дата изменения: Thu Aug 18 11:05:57 2011
Дата индексирования: Mon Oct 1 19:32:39 2012
Кодировка:
.


. xy ­ , : " x y", " x y", " y x", " x y, y - x". "=" x = xy. (x=y) xy xy, " " (xy) xy xy xy. , () , . , - xy xy , xy . , (x=y), , " " (xy). , -. , . , y xyz , xyz , xz , , (). , , , , "0" [1, . 255]. (xy) , xy xy0 xy, xy . (xy) , xy: (xy) xy xy0 xy xy xy x y (xy) xy. [1, . 256] (xy) x1 xy0 y1, y x,


xy0 xy. (xy) x1 xy0 y1. , x, x, y, y (nullity) xy0 x y, , x y, y x, . . x = xy, y = xy. , xy0 (xy)(yx). , . x=xy, . . x y, xy
0

- x y, y = xy.

xy0 (xy)(yx) - " x y", " y x", x y, y x, xy x y (xy)(yx) ­ " ", y x x y. . , , . . , . , , . , " " , " ". [ , 24b26]. . 1. . . // . ­ .: "", 1973. : .. , .. . . : - « », 2011. . 5-6