- пересечение классов
- мат. class intersection
Большой англо-русский и русско-английский словарь. 2001.
пересечение классов
Смотреть что такое "пересечение классов" в других словарях:
Пересечение Классов (Множеств) — а логическая операнция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… … Словарь терминов логики
классов пересечение — логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… … Словарь терминов логики
необратимое пересечение — 3.5.15 необратимое пересечение (закрепление порядка): Комбинирование индексов двух классов путем соединения их знаком двойного двоеточия (::). Примечание Результирующий индекс обозначает логическое пересечение (произведение) исходных классов, т.е … Словарь-справочник терминов нормативно-технической документации
ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» … Философская энциклопедия
Класс — I (от лат. classis разряд, группа) (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные Отряды (животных) или порядки (См. Порядок) (растений). Например, отряды… … Большая советская энциклопедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
Классификации операции — |лат. classis разряд; operatio действие, дело] психологическая операциональная структура, появляющаяся, по Пиаже, в интеллектуальном развитии ребенка на стадии конкретных операций и отражающая включение одного класса в другой. Напр., класс… … Энциклопедический словарь по психологии и педагогике
Класс NP — В теории алгоритмов классом NP (от англ. non deterministic polynomial) называют множество задач распознавания (англ.), решение которых при наличии некоторых дополнительных сведений (так называемого сертификата решения) можно «быстро» (за… … Википедия
