Класів перетин
класів перетин — логічна операція з знаходження загальних для класу (множини) елементів. Так, П. до. студентів (A) та спортсменів (В) буде клас тих студентів, які одночасно є спортсменами. Результат може бути представлений у вигляді двох… … Словник термінів логіки
Перетин класів (Множеств) — а логічна операція з знаходження загальних для класу (множини) елементів. Так, П. до. студентів (A) та спортсменів (В) буде клас тих студентів, які одночасно є спортсменами. Результат може бути представлений у вигляді двох… … Словник термінів логіки
необоротне перетин — 3.5.15 незворотне перетин (закріплення порядку): Комбінування індексів двох класів шляхом з'єднання їх знаком подвійної двокрапки (::). Примітка Результуючий індекс позначає логічний перетин (твір) вихідних класів, тобто … Словник-довідник термінів нормативно-технічної документації
ЛОГІКА КЛАСІВ - розділ логіки, в якому розглядаються класи (множини) предметів, що задаються характеристичними властивостями цих предметів (елементів класів). У совр. логіці Л. до. може розумітися як «алгебра множин», тобто інтерпретуватися ... Філософська енциклопедія
Система аксіом фон Неймана — Система аксіом фон Неймана Бернайса Геделя (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"... Філософська енциклопедія