Building the linear space structure for metric predicate model
L.V. Shabanova-Kushnarenko
Annotations languages:
Designed abstract definition parametrized predicate that allowed to introduce on the set N structure of a linear space over the field of real numbers, consistent with the operations of the internal and external points. The set of properties entered parametrized predicate form a complete system of conditions ensuring the existence of parametrized predicate.
Keywords: parametrized predicate, metric, predicate model, identification comparator
