Документ взят из кэша поисковой машины. Адрес оригинального документа : http://ternarycomp.cs.msu.ru/Papers/vladimirova_sborn2010.pdf Дата изменения: Tue Mar 1 01:19:01 2011 Дата индексирования: Mon Oct 1 19:31:43 2012 Кодировка: Поисковые слова: uv

..
x y, « x y» (Axy). , (x), (x) [1]. . , . , , xy y x. , , , , xy xy y x . , . , [2]. , , , , , , , .. , . : Vxy xy-, Vxy ­ , . , - , ­ . , VxyVxy xy- xy-, Vxy Vxy ­ xy-, xy-, . () [1],


x , , x , , x : VxVx. , , , - . « x y», x y, , , x y (xy-), ­ x- y-: xy Axy VxyVxVy, « x y» xy : Ixy VxyVxVy. , , , « x y» (Exy) « x y» (Oxy), , [3]: Exy Axy, Oxy Ixy. , ­ , . , y , y, .. «-y». Vxy xy, Vxy ­ . : 1. V(xy xy) Vxy Vxy ­ ; 2. V (xy xy) VxyVxy ­ , ; 3. VxVxy Vxy Vxy ­ , , ; 4. Vxy Vx ­ . . , , VxyzVxyz V(xyz xyz) Vxz y, , , barbara : AxyAyz (VxyVxyVxy)(VyzVyzVyz) VxyVyz VxyVxy VyzVyz


Vxyz VxyzVxyzVxyz VxyVxy VyzVyz Vxyz VxyzVxyzVxyzVxyzVxyVyzVxyz V(xyz xyz xyz xyz) VxyzVxyVyzVxyz V(xy xz yz) VxyzVxyVyzVxyz VxyVxzVyz VxyzVxyVyzVxyz VxzVxzVxz Axz. , . , , . , . f(x1,..., xn) g(x1,..., xn) ­ , f g, x1,..., xn ­ , , : Vx1Vx1... Vxn Vxn. , g f f g , f- g, .. , f g, f- , g. x x. , g, , g . , , g, , g. , , , g, , g. , g , g , g . , , f g, f g , f g . , « f g» : Afg V f g Vf V g (x1,..., xn). ,


Afg V f g Vf V g (x1,..., xn) V f g Vfg V f g (x1,..., xn). , : « , ». , , , . x « », y ­ « », z ­ « ». xyz-, xyz-, , xy-, z, .. xyz (x y) z: Vxyz Vxyz V(x y) z. , (x, y, z) . , (xy-) (z-). , , (z-), , (.. x) ( y-), ( y) ( x-). , Ifg : Ifg Vfg V f V g (x1,..., xn). , : , , , , . VFVG1VG2 VG1VG2VG3, F, G1, G2, G3 ­ . f g Vf Vg V(f g), Vf Vg . , , , : VPVQ1VQ2...VQl, P p1 p2 ... pk Qi qi1 qi2 ... qim ­ , pi qij ­ . 3, , . Qi , P, ­ , pi, . Qi


, .. . , P Qi : Qi , Qi, , qij. - , , . , P pi. , , , u(x1,..., xn) v(x1,..., xn). P(x1,..., xn) u v , , Auv, uv ­ , A u v , uv Avu, u v ­ A u v . P , , .. u v . : Iuv, I u v , I uv I u v ; Qi , , : uv, u v , uv u v . , Qi, , , , Qi . , - Qi , uv, , uv, , Iuv. ­ , 2n- , . , , , , . . A(xy)z A(xy)z, , x z. A(xy)z Vxyz Vxyz V(x y) z VxVxVyVzVz, A(xy)z V xyzV xyz V(x y) z VxVxVyVz. A(xy)z A(xy)z V(xyz xyz) Vxyz V(x y)z Vxyz V(x y) z VxVxVyVzVz. P(x, y, z) (xyz xyz) 00000101, () xyz. Qi(x, y, z): Q1(x, y, z) xyz 00000010, Q2(x, y, z) (x y) z ­ 01010100 .. , x z « x -z» (Axz), xz -


P(x, y, z). 00000101, xz P(x, y, z), .. Axz , , .


.., .. // . -13. ­ .: -, 2007. . 10-13. . // . . ­ .: «», 1973, .189-361. .. «» . ­ ., « », 2008. ­ 8 . : 12. . .. . ­ .: , 2010. C. 92-97.