дистрибутивности

См. также в других словарях:

• ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …   Философская энциклопедия

• закон дистрибутивности — (от англ. distribution распределение, размещение) общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с… …   Словарь терминов логики

• ДИСТРИБУТИВНОСТЬ — дистрибутивности закон, распределительность, некоторой операции относительно другой свойство пары бинарных алгебраических операций, выражающееся одним из тождеств: где , символы бинарных операций, а х, у, z предметные переменные. Если в множестве …   Математическая энциклопедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• Дистрибутивность — (от лат. distributivus  «распределительный»), также распределительность[источник не указан 355 дней]  свойство согласованности двух бинарных операций, определённых на одном и том же множестве. Говорят, что… …   Википедия

• Разместительный закон — Дистрибутивность (от латинского distributivus  «распределительный»)  свойство согласованности двух бинарных операций, определённых на одном и том же множестве. Говорят, что две бинарные операции + и × удовлетворяют свойству дистрибутивности, если …   Википедия

• Распределительный закон — Дистрибутивность (от латинского distributivus  «распределительный»)  свойство согласованности двух бинарных операций, определённых на одном и том же множестве. Говорят, что две бинарные операции + и × удовлетворяют свойству дистрибутивности, если …   Википедия

• АЛГЕБРА — раздел элементарной математики, в котором арифметические операции производятся над числами, значения которых заранее не заданы. Преимущества алгебраических методов обусловлены использованием достаточно компактных символических систем, что внешне… …   Энциклопедия Кольера

• АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные области: одна касалась непосредственно свойств чисел, другая была… …   Энциклопедия Кольера

• Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… …   Википедия

• ЛОГИКА КВАНТОВОЙ МЕХАНИКИ — логика, все законы к рой применимы в рассуждениях об объектах микромира и в частности об объектах, рассматриваемых в квантовой механике (отсюда и название этой логики). Обычная классич. логика не может служить логикой рассуждений о микрообъектах …   Философская энциклопедия