Пересечение Классов (Множеств) — а логическая операнция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… … Словарь терминов логики
необратимое пересечение — 3.5.15 необратимое пересечение (закрепление порядка): Комбинирование индексов двух классов путем соединения их знаком двойного двоеточия (::). Примечание Результирующий индекс обозначает логическое пересечение (произведение) исходных классов, т.е … Словарь-справочник терминов нормативно-технической документации
ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
ГОСТ 7.90-2007: Система стандартов по информации, библиотечному и издательскому делу. Универсальная десятичная классификация. Структура, правила ведения и индексирования — Терминология ГОСТ 7.90 2007: Система стандартов по информации, библиотечному и издательскому делу. Универсальная десятичная классификация. Структура, правила ведения и индексирования оригинал документа: 3.1.7 алфавитно предметный указатель… … Словарь-справочник терминов нормативно-технической документации
АНТИЛОГИЗМ — (от греч. ἀντι – приставка, означающая противоположность, и λογισμός – разум, рассуждение) – формула логики, выражающая несовместимость посылок категорич. силлогизма с отрицанием его заключения. А. основан на свойстве логического следования,… … Философская энциклопедия
Железные дороги — I I. История развития железных дорог. Ж. дорога, в том виде, в каком она существует теперь, изобретена не сразу. Три элемента, ее составляющие, рельсовый путь, перевозочные средства и двигательная сила прошли каждый отдельную стадию развития,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
ДЕСКРИПТИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел теории множеств, изучающий внутреннее строение множеств в зависимости ют тех операций, при помощи к рых эти множества могут быть построены из множеств сравнительно простой природы (напр., замкнутых или открытых подмножеств данного… … Математическая энциклопедия
БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» … Философская энциклопедия