Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
аксиома, уточняющая структуру топологического пространства путем определения возможностей отделения точек пространства друг от друга
Изучается отделимость операторной топологии, задаваемой множествами, инвариантными относительно некоторого оператора.
Предложен алгоритм вычисления топологий конечного множества и их исследования: проверки T0-аксиомы отделимости и связности, определения связности подмножеств, вычисления связных компонент, баз и гомеоморфизмов топологического пространства в себя. Представлено разработанное авторами программное обеспечение, реализующее предложенные модели.
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
квадратные матрицы A и B одинакового порядка, для которых оба произведения AB и BA имеют смысл и AB = BA
аксиальный вектор