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