арность
1Арность — предиката, операции или функции в математике  количество их аргументов, или операндов. Слово образовалось из названий предикатов небольшой арности (унарный  один аргумент, бинарный  два, тернарный  три). Также для этих целей… …
2арность оператора — 3.3.1 арность оператора (arity of an operator): Максимальное число операндов, которые должны быть связаны с оператором. Источник …
Словарь-справочник терминов нормативно-технической документации
3ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений — Терминология ГОСТ Р ИСО 13584 20 2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа: 3.3.1 арность оператора (arity of an operator):… …
Словарь-справочник терминов нормативно-технической документации
4Логика второго порядка — в математической логике  формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… …
5Отношение (математика) — У этого термина существуют и другие значения, см. Отношение. Отношение  математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Отношения обычно классифицируются по количеству связываемых объектов …
6ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …
Словарь-справочник терминов нормативно-технической документации
7Унарная операция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… …
8Операция (математика) — У этого термина существуют и другие значения, см. Операция. Операция  отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к… …
9Прототип функции — Для термина «Прототип» см. другие значения. Прототипом функции в языке Си или C++ называется объявление функции, которое не содержит тело функции, но указывает имя функции, арность, типы аргументов и возвращаемый тип данных. В то время как… …
10бинарный оператор — 3.3.2 бинарный оператор (binary operator): Оператор, арность которого равна двум. Источник …
Словарь-справочник терминов нормативно-технической документации