- теоретико-множественное пересечение
- мат. set-theoretic intersection, set-theoretic jog
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПОДГРУППА — подмножество Н группы G, само являющееся группой относительно операции, определяющей G. Подмножество Нгруппы Gявляется ее подгруппой тогда и только тогда, когда: (1) H содержит произведение любых двух элементов из H, (2) H содержит вместе со… … Математическая энциклопедия
Подгруппа — Группа (математика) Теория групп … Википедия
НИЖНЯЯ ГРАНЬ — семейства топологий F(заданных на одном множестве X) теоретико множественное пересечение этого семейства топологий, т. е. . Обозначается . Всегда топология на X. Если топологии и заданы на множестве Xи содержится в (как множество), то пишут… … Математическая энциклопедия
неклассические логики — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Идеи для построения Н. л. были высказаны еще до … Энциклопедия эпистемологии и философии науки
ИДЕАЛ — специального рода подобъект в иек рой алгебраич. структуре. Понятие И. возникло первоначально в теории колец. Название И. ведет свое происхождение от идеальных чисел. Для алгебры, кольца или полугруппы Аидеал I есть подалгебра, подкольцо или… … Математическая энциклопедия
КОЛЬЦО — множество R, в к ром заданы две бинарные алгебраич. операции: сложение и умножение, причем по сложению это множество абелева группа (аддитивная группа кольца R), а умножение связано со сложением законами дистрибутивности: a(b+с) = аb+ас, (b+с)… … Математическая энциклопедия
Логические диаграммы — графический (геометрический, точнее топологический) аппарат математической логики (См. Логика). Идея Л. д. была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л.… … Большая советская энциклопедия
КОГОМОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ — 1) К. p. (dimGX) топологического пространства Xотносительно группы коэффициентов G максимальное целое число р, для к рого в X найдутся замкнутые подмножества Атакне, что когомологий Н p( Х, A; G )отличны от нуля. Аналогично определяется… … Математическая энциклопедия
РЕГУЛЯРНОЕ СОБЫТИЕ — множество слов конечного алфавита, к рое на алгебраич. языке может быть задано с использованием выражений специального вида р е г у л я р н ы х в ы р а ж е н и й. Пусть А конечный алфавит и символы операций, наз. о б ъ е д и н е н и е м, к о н к… … Математическая энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия