1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 4(22)'2009
  5. Isomorphism of the models of the equivalence and difunctionality during the comparator identification

Isomorphism of the models of the equivalence and difunctionality during the comparator identification

A.A. But, A.I. Presnyakov, V.V. Shlyahov
Annotations languages:

Are examined two models of comparator identification, models of equivalence and models of difunctionality. It is proven that the identified operator can possess the property of the internal nonlinearity of one-to-one nature. It is shown that the expansion of models in the case of operators from two arguments, leads to the absence of isomorphism.
Keywords: predicate, equivalence model, model difunсtionality, comparator identification, isomorphism of models