эквивалентность
91СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… …
92Отношение эквивалентности — У этого термина существуют и другие значения, см. Эквивалентность. Отношение эквивалентности ( ) на множестве   это бинарное отношение, для которого выполнены следующие условия: Рефлексивность: для любого в , Симметричность: если …
93ГОСТ Р ИСО/МЭК 17000-2009: Оценка соответствия. Словарь и общие принципы — Терминология ГОСТ Р ИСО/МЭК 17000 2009: Оценка соответствия. Словарь и общие принципы оригинал документа: 5.6 аккредитация (accreditation): Подтверждение соответствия (5.2) третьей стороной, относящееся к органу по оценке соответствия (2.5) и… …
Словарь-справочник терминов нормативно-технической документации
94Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… …
95Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …
96Симметрия (в физике) — Симметрия в физике. Если законы, устанавливающие соотношения между величинами, характеризующими физическую систему, или определяющие изменение этих величин со временем, не меняются при определённых операциях (преобразованиях), которым может быть… …
97Симметрия — I Симметрия (от греч. symmetria соразмерность) в математике, 1) симметрия (в узком смысле), или отражение (зеркальное) относительно плоскости α в пространстве (относительно прямой а на плоскости), преобразование пространства… …
98ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …
99АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …
100АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …