Гиперболоид
незамкнутая центральная поверхность 2-го порядка
n-элементное упорядоченное множество (x1, x2, ... , xn), составленное из представителей заданных n множеств M1, M2, ... , Mn так, что xk ∈ Mk при каждом k
Рассмотрена процедура синтеза программного обеспечения, представляющая упорядочение набора программных модулей, реализующих множество операций. Определено описание этого набора как трансверсалей семейства алгоритмических признаков программы. Для нахождения наибольшей по весу частичной трансверсали семейства алгоритмических признаков программы используется жадный алгоритм. Подобный подход применен и для оценки надежности (вероятности связности случайного графа, представляемого случайным матроидом) программного обеспечения. Предложена модель надежности сети связи программных модулей.
незамкнутая центральная поверхность 2-го порядка
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)