Венна Диаграмма

92

- графический способ изображения формул математич. Логики, прежде всего формул исчисления высказываний. В. Д. Ппеременных классич. Логики высказываний представляет собой такой набор замкнутых контуров (го-меоморфных окружностям), к-рый разбивает плоскость на областей, причем нек-рые из этих областей (например, ) отмечены. Каждой отмеченной области ставится в соответствие формула есть , если лежит внутри контура , и есть в противном случае. Диаграмме в целом соответствует формула Напр., В. Д., изображенной на рис., соответствует формула Если отмеченных областей нет , то диаграмме сопоставляется тождественно ложная формула, напр. В логике высказываний В. Д. Используются для решения проблемы разрешения, проблемы вывода всех возможных попарно неэквивалентных логич.

Следствий из данных посылок и др. Логика высказываний может быть построена в виде операций над В. Д., сопоставленных логич. Операциям. Аппарат диаграмм был предложен Дж. Венном [1] для решения задач логики классов. Метод В. Д. Распространен на классич. Исчисление многоместных предикатов. В. Д. Находят применение в приложениях математич. Логики и тео-рпп автоматов, в частности для решения задач теории нейронных сетей. Лит.[1] Venn J., Symbolic logic, 2 ed., L., 1894. [2] Кузичев А. С., Диаграммы Венна, М., 1968. А. С. Кузичев.

Значения в других словарях
Векуа Метод

в теории бесконечно малых изгибаний- метод, заключающийся в том, что нек-рые величины, характеризующие изгибание поверхностей положительной гауссовой кривизны К, в сопряженно-изотермической параметризации являются обобщенными аналитическими функциями. Это обстоятельство позволяет свести задачу исследования изгибания поверхностей переменной к определенной задаче для поверхностей с , бесконечно малые изгибания к-рых описываются обычными аналитич. Функциями, и тем самым установить далеко идущу..

Величина

- одно из основных математич. Понятий, смысл к-рого с развитием математики подвергался ряду обобщений. I. Еще в "Началах" Евклида (3 в. До н. Э.) были отчетливо сформулированы свойства В., наз. Теперь, для отличия от дальнейших обобщений, положительными скалярными величинами. Это первоначальное понятие В. Является непосредственным обобщением более конкретных понятий. Длины, площади, объема, массы и т. Н. Каждый конкретный род В. Связан с определенным способом сравнения физич. Тел или др. Объе..

Вербальная Конгруэнция

- пересечение всех конгруэнции алгебры , факторалгебры по к-рым принадлежат иек-рому фиксированному многообразию -алгебр. Конгруэнция произвольной ал-гебрапч. Системы наз. Вербальной, если существует многообразие -систем, для к-рого каноническое отображение является -мор-физмом. В. К. Является вполне характеристической конгруэнцией. Если - свободная -система в нек-ром многообразии , то п, обратно, всякая вполне характеристическая конгруэнция в является В. К. Относительно многообраз..

Вербальная Подгруппа

- подгруппа группы G, порожденная всевозможными значениями всех слов из нек-рого множества когда независимо друг от друга пробегают всю группу G. В. П. Нормальна. Конгруэнция, определяемая с помощью В. П. На группе, является вербальной конгруэнцией (см. Также Алгебраических систем многообразие). Примеры В. П. 1) коммутант группы , определяемый коммутатором . 2) n-й коммутант . 3) члены нижнего центрального ряда где - В. П., определяемая коммутатором 4) степень группы , опр..

Дополнительный поиск Венна Диаграмма Венна Диаграмма

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Венна Диаграмма" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Венна Диаграмма, различные варианты толкований, скрытый смысл.

Первая буква "В". Общая длина 15 символа