Логические диаграммы это:

Логические диаграммы
        графический (геометрический, точнее — топологический) аппарат математической логики (См. Логика). Идея Л. д. была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л. Эйлером в «Письмах... к немецкой принцессе» (1768) — т. н. круги Эйлера. Отношения между классами (объёмами понятий) с тех пор принято изображать с помощью систем взаимно пересекающихся кругов (или любых других односвязных областей); объединению классов соответствует при этом объединение (теоретико-множественное, см. Множеств теория) изображающих их областей, пересечению — пересечение, дополнению (до универсального класса) — дополнение до некоторой «стандартной» объемлющей области (например, прямоугольника). Отношению включения между изображаемыми классами при этом соответствует одноимённое отношение между их изображениями (причём случаи, когда объемлющий класс совпадает с объемлемым и когда он существенно шире последнего, здесь не различаются). В дальнейшем идея Л. д. была развита и усовершенствована; особенно отчётливый вид она приобрела в работах Дж. Венна. (Оригинальный метод построения Л. д. был предложен также английским математиком Ч. Доджсоном, известным как детский писатель под псевдонимом Л. Кэрролл). Аппарат диаграмм Венна основан на центральной для алгебры логики (См. Алгебра логики) идее разложения логических функций на «конституэнты»; он позволяет решать единообразным методом ряд задач логики высказываний (См. Логика высказываний) и логики одноместных предикатов (см. Логика предикатов), обзор следствий из данных посылок, решение логических уравнений (при любом конечном числе переменных) и др., вплоть до простого и изящного решения разрешения проблемы (См. Разрешения проблема). Аппарат Л. д. распространён и на классическое исчисление многоместных предикатов, а также оказывается весьма удобным средством для решения ряда задач из приложений математической логики к теории автоматов.
        
         Лит.: Кутюра Л.,: Алгебра логики, пер. с франц., Одесса, 1909; Кузич ев А. С., Диаграммы Венна. История и применения. М., 1968 (см. лит.); Venn J., Symbolic logic, 2 ed., L. — N. Y., 1894.
         Ю. А. Гастев.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Логические диаграммы" в других словарях:

  • ЛОГИЧЕСКИЕ СХЕМЫ — физ. устройства, реализующие функции матем. логики. Л. с. подразделяют на 2 класса: комбинационные схемы (Л. с. без памяти) и послед овател ьностные схемы (Л. с. с памятью). Л. с. являются основой любых систем (различных назначений и физ.… …   Физическая энциклопедия

  • ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …   Философская энциклопедия

  • XMind — Тип Программа для составления интеллект карт и диаграмм Разработчик XMind Ltd. Написана на Java Операционная система Кросс платформенное ПО Аппаратная платформа Java Последняя версия …   Википедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • BPMN — (англ. Business Process Model and Notation, нотация и модель бизнес процессов)   система условных обозначений (нотация) для моделирования бизнес процессов. Разработана Business Process Management Initiative (BPMI) и поддерживается… …   Википедия

  • Ladder Diagram — (англ. LD, англ. LAD, рус. РКС) язык релейной (лестничной) логики. Применяются также названия: язык релейно контактной логики (РКС) релейные диаграммы релейно контактные схемы язык программирования релейно лестничной логики стандарта… …   Википедия

  • Бинарная диаграмма решений — (БДР) или программа с ветвлением является формой представления булевой функции от переменных в виде направленного ациклического графа, состоящего из внутренних узлов решений (помеченных ), каждый из которых имеет по два потомка, и двух… …   Википедия

  • FBD — (англ. Function Block Diagram)  графический язык программирования стандарта МЭК 61131 3. Предназначен для программирования программируемых логических контроллеров (ПЛК). Программа образуется из списка цепей, выполняемых последовательно… …   Википедия

  • Круги Эйлера — Пример кругов Эйлера. Буквами обозначены, например, свойства:   живое существо,   человек,   неживая вещь Круги Эйлера[1]  геометрическая схема, с помощью которой можно изобразить отношения …   Википедия

  • ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

Книги

Другие книги по запросу «Логические диаграммы» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»