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