Истинностное значение (логическое значение)
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
n-элементное упорядоченное множество (x1, x2, ... , xn), составленное из представителей заданных n множеств M1, M2, ... , Mn так, что xk ∈ Mk при каждом k
Рассмотрена процедура синтеза программного обеспечения, представляющая упорядочение набора программных модулей, реализующих множество операций. Определено описание этого набора как трансверсалей семейства алгоритмических признаков программы. Для нахождения наибольшей по весу частичной трансверсали семейства алгоритмических признаков программы используется жадный алгоритм. Подобный подход применен и для оценки надежности (вероятности связности случайного графа, представляемого случайным матроидом) программного обеспечения. Предложена модель надежности сети связи программных модулей.
значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики
символ, обозначающий мощность множества; в случае конечного множества натуральное число: число элементов в множестве
соприкасающийся круг