Пресечна точка на класа
пресичане на клас е логическа операция за намиране на общи елементи за клас (набор). И така, класът на учениците (A) и спортистите (B) ще бъде класът на тези ученици, които са едновременно спортисти. Резултатът може да бъде представен като две ... ... Речник на логическите термини
Пресечна точка на класове (множества) - логическа операция за намиране на общи елементи за клас (множество). И така, класът на учениците (A) и спортистите (B) ще бъде класът на тези ученици, които са едновременно спортисти. Резултатът може да бъде представен като две ... ... Речник на логическите термини
необратимо пресичане — 3.5.15 необратимо пресичане (фиксиране на реда): Комбиниране на индексите на два класа чрез свързването им с двойно двоеточие (::). Забележка Полученият индекс обозначава логическото пресичане (продукт) на оригиналните класове, т.е. ... Речник-справочник на термините на нормативната и техническата документация
КЛАСОВА ЛОГИКА е раздел от логиката, който разглежда класове (набори) от обекти, дефинирани от характерните свойства на тези обекти (елементи от класове). В модерните логиката L. до. може да се разбира като "алгебра от множества", т.е. интерпретирана ... ... Философска енциклопедия
Система от аксиоми на фон Нойман — Системата от аксиоми на фон Нойман от Бернайс Гьодел (NBG, аксиоми на Гьодел Бернайс) е една от основните аксиоматични теории на множествата в метаматематиката. Тази система е разширение на каноничната теория на Zermelo Frenkel с ... Wikipedia
ГОСТ 7.90-2007: Система от стандарти за информация, библиотечно дело и издателска дейност. Универсална десетична класификация. Структура, правила за поддържане и индексиране - Терминология GOST 7.90 2007: Система от стандарти за информация, библиотека ииздателска дейност. Универсална десетична класификация. Структура, правила за поддържане и индексиране на оригиналния документ: 3.1.7 предметен индекс по азбучен ред ... ... Речник-справочник на термините на нормативната и техническата документация
Железници — I I. История на развитието на железниците. Ж. пътят във вида, в който съществува сега, не е изобретен веднага. Три елемента, неговите компоненти, железопътната линия, транспортните средства и двигателната сила са преминали през всеки отделен етап на развитие, ... ... Енциклопедичен речник F.A. Brockhaus и I.A. Ефрон
МНОГОЗНАЧНАТА ЛОГИКА е клон на математическата логика, който изучава математиката. пропозиционални логически модели. Тези модели отразяват двете основни характеристики на последните, множеството истинностни стойности на твърденията и възможността за конструиране на нови, по-сложни твърдения от дадени ... Енциклопедия по математика
ОПИСАНИЕ ТЕОРИЯ НА МНОЖЕСТВАТА - раздел от теорията на множествата, който изучава вътрешната структура на множествата в зависимост от тези операции, с помощта на които тези множества могат да бъдат изградени от множества със сравнително проста природа (например затворени или отворени подмножества на дадена ... ... Математическа енциклопедия
BOOL - (Boole) Джордж (р. 2 ноември 1815 г., Линкълн - ум. 8 декември 1864 г., Корк) англичанин, математик и логик, създател на т.нар. "алгебрична логика" (виж Логистика). Основен Произведено: "Математическият анализ на логиката", 1847 г.; "Анализ на законите на мисълта" ... Енциклопедия по философия