binary operator
41commutativity — com mu*ta*tiv i*ty, n. (Math.) the property of a binary operation or operator such that the result of one term operating on a second is equal to the result of the second term operating on the first. [GG] Note: If the symbol * is taken to be a… …
42Empty product — In mathematics, an empty product, or nullary product, is the result of multiplying no factors. It is equal to the multiplicative identity 1, given that it exists for the multiplication operation in question, just as the empty sum the result of… …
43Linear temporal logic — (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true,… …
44Theory of relations — This article is about the theory of relations with regard to its specifically combinatorial aspects. For a general discussion of the basic definitions, see Binary relation and Finitary relation. The theory of relations treats the subject matter… …
45Wheel theory — Wheels are a kind of algebra where division is always defined. In particular, division by zero is meaningful. The real numbers can be extended to a wheel, as can any commutative ring. Also the Riemann sphere can be extended to a wheel by… …
46Unary function — A unary function is a function that takes one argument. In computer science, a unary operator is a subset of unary function.Many of the elementary functions are unary functions, in particular the trigonometric functions and hyperbolic function… …
47бинарный оператор — 3.3.2 бинарный оператор (binary operator): Оператор, арность которого равна двум. Источник …
Словарь-справочник терминов нормативно-технической документации
48Colon (punctuation) — Colon Punctuation apostrophe ( ’ …
49Modulo operation — Quotient (red) and remainder (green) functions using different algorithms. In computing, the modulo operation finds the remainder of division of one number by another. Given two positive numbers, a (the dividend) and n (the divisor), a modulo n… …
50ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений — Терминология ГОСТ Р ИСО 13584 20 2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа: 3.3.1 арность оператора (arity of an operator):… …
Словарь-справочник терминов нормативно-технической документации
