Высказывание, которое можно доказать, называется
(*ответ*) теоремой
Граф Gb(Xb, Eb) называется _ (суграфом) графа G(X,E), если он содержит все вершины исходного графа и лишь часть ребер исходного графа, т.е. Xb = X и EbМE
(*ответ*) частичным графом
подграфом
планарным
связанным
Два предиката, заданных на одних и тех же множествах, называются _, если при всех наборах, входящих в них предметных переменных, эти предикаты принимают одинаковые значения
(*ответ*) равносильными
одинаковыми
равными
тождественными
Для описания изучаемого процесса, объяснения наблюдаемых фактов, а также прогноза поведения системы применяются _ (дескриптивные) модели
(*ответ*) описательные
Доказательство методом цепочек _ состоит в том, что из посылки A выстраивается цепочка из n импликаций, последним высказыванием в которой является заключение теоремы B, т.е. A A1 A2 ... An-1 B
(*ответ*) импликаций
Достаточные _ экстремума - в точках экстремумов функции производная меняет знак с «+» на «-» в точках максимумов и с «-» на «+» в точках минимумов
(*ответ*) условия
Если n=1 (M=M1), то отношение называется
(*ответ*) унарным
бинарным
n-арным
парным
Если n=2 (M = M1 х M2), то отношение называется
(*ответ*) бинарным
n-арным
унарным
парным
Если в результате опыта при реализации определенного комплекса условий данное событие может наступить или не наступить, то оно называется
(*ответ*) случайным
возможным
невозможным
обязательным
Если вершины хi и хj принадлежат некоторому ребру (хi,хj), то говорят, что это ребро _ вершинам хi и хj, которые, в свою очередь, называются смежными
(*ответ*) инцидентно
Если для каждого элемента x X указан элемент y Y, с которым сопоставляется x, то говорят, что между множествами X и Y установлено
(*ответ*) соответствие
равенство
отношение
взаимосвязь
Если множества A и B состоят из одних и тех же элементов, то они считаются
(*ответ*) равными
эквивалентными
тождественными
одинаковыми
Если множество W конечно или счетно, то случайная величина называется
(*ответ*) дискретной
конечной
счетной
постоянной
Если независимая переменная принимает только целые значения переменной, то функция называется функцией
(*ответ*) целочисленного аргумента
непрерывного аргумента
убывающей
монотонной