Документ взят из кэша поисковой машины. Адрес оригинального документа : http://ternarycomp.cs.msu.ru/Papers/Stavropol.pdf Дата изменения: Sun Nov 1 10:24:29 2009 Дата индексирования: Mon Oct 1 19:29:12 2012 Кодировка:

.. , .. , , ramil@cs.msu.su , . . Two-valued logic can't be the base of adequate informatics because the relation of essential consequence is absent in it. Real logic must observe the coexistence of opposites dialectical principle. , , «» . . « » [1, . 195] - , . , ­ . . « x y», ­ , [2]. , , [3], [4]. ­ . 1. . « »: « ». ­ .: «», .: «», 2002. 2. .. , - // « ». 4. . ... ­ .: , 2003. . 35­38. 3. .. // . ­ .: « », 2005. . 140-145. 4. .., .. . // : -12. ­ .: , 2005. . 40-42. , : - , . , 1-5 2008. 1. - . 2008. . 249-250. www.ternarycomp.narod.ru