Принцип независимости продолжения корректора от кодировки

  • № 1(19) 2019

Страницы: 

120

 – 

129

Язык: русский

Открыть файл статьи
Открыть страницу статьи в Интернет

Аннотация

В статье рассматриваются не всюду определенные функции многозначной логики. Исследуется проблема логического продолжения функций многозначной логики в классе дизъюнктивных нормальных форм. Доказывается теорема об инвариантном продолжении функций многозначной логики в классе дизъюнктивных норм, который не зависит от принятой кодировки. Строится алгоритм построения множества инвариантных точек, независящих от принятой кодировки.

The article deals with not everywhere defined functions of multi-valued logic. The problem of the logical continuation of multivalued logic functions in the class of disjunctive normal forms is investigated. A theorem on the invariant continuation of multivalued logic functions in a class of disjunctive norms is proved, which does not depend on the adopted coding. An algorithm for constructing a set of invariant points independent of the adopted encoding is constructed.

Список использованных источников

  1.  Zhuravlev Yu.I. Set-theoretic methods in the algebra of logic. — М.:Издательство Problems of Cybernetics,- 1962. - T. 8. - p. 5-44.
  2.  Zhuravlev Yu.I. On a class of not everywhere defined functions of an algebra of logic. — Vb .: Discrete analysis, vol. 2. -Novosibirsk: MI SB AS USSR, 1964, pp.23-27.
  3.  Zhuravlev Yu.I. Correct algebras over sets of incorrect (heuristic) algorithms. — Part I, Cybernetics. - 1977. - № 4. - p. 5-17.
  4.  Zhuravlev Yu.I. Correct algebras over sets of incorrect (heuristic) algorithms. — Part II, Cybernetics. - 1977. - № 6. - p. 21-27.
  5.  Zhuravlev Yu.I. Correct algebras over sets of incorrect (heuristic) algorithms. — Part III, Cybernetics. - 1978. - № 2. - p. 35-43.
  6.  Zhuravlev Yu.I. On the algebraic approach to the solution of problems of recognition or classification. — Problems of Cybernetics. - 1978. - T. 33. - p. 5-68.
  7.  Zhuravlev Yu.I., Rudakov K.V. On algebraic correction of information processing (transformation) procedures. — Problems of applied mathematics and computer science. - 1987. - p. 187-198.
  8.  Zhuravlev Yu.I., Flerov Yu. A. Discrete analysis. — Dolgoprudny: Part 1, MIPT, 1999 136 p., ISBN 5-7417-0108-6
  9.  Zhuravlev Yu.I.,Ryazanov V.V., Senko O.V. Recognition. Mathematical methods. Discrete analysis. Part 1. — Software system Practical applications. M.: Fazis, 2006. 147 p. ISBN 5-7036-0108-8.
  10. Zhuravlev Yu.I., Flerov Yu.A., Vyaly M.N. Discrete analysis. Basics of higher algebra. — M.: MZ-Press, 2006 (208 p., ISBN 5-94073-097-3) and 2007 (2nd ed., Rev. and ext., 224 p.).
  11.  Nurlibaev A.N. On normal forms of k - valued logic. — Collected papers on mathematical cybernetics.Part 1. Pub.of the USSR Academy of Sciences Moscow 1976.
  12.  Zhuravlev Yu.I., Flerov Yu.A., Vyalyy M.N. Discrete analysis. — Formal systems and algorithms. M .: MZ-Press, 2010. 336 p. ISBN 978-5-86567-092-1.
  13.  Kabulov V.K., Kabulov A.V., Normatov I.H. Logic algorithms in the theory of control systems. — Monograph: Germany, "Lambert2018, Pag. 191.
  14.  Kabulov V.K., Kabulov A.V., Normatov I.H Algorithmization in the theory of control systems. — Monograph: Tashkent-2017, Ed. “Navruz” p. 176.
  15.  Yablonsky S.V. Functional constructions in k - valued logic. — Dolgoprudny: MIPT, 1999 136 p., ISBN 5-7417-0108-6

Список всех публикаций, цитирующих данную статью