Cтраница 1
Процедура исключения, с помощью которой мы получаем этот вывод, дает нам вывод в такой модификации, что подстановки оказываются перенесенными в исходные формулы, так что результирующая формула ( 3) получается из исходных формул применением одних только схем заключения ( и повторений); при этом исходные формулы получаются из тождественно истинных формул исчисления высказываний в результате подстановок. [1]
Процедура исключения из дерева полного узла может быть выполнена с минимальной перестройкой самого-дерева в случае замены исключаемого элемента в дереве одним из его соседних элементов, причем безразлично-каким: меньшим или большим. [2]
Процедуру исключения признаков удобно проводить по следующей схеме. [3]
Процедуру исключения степеней свободы внутренних узлов можно рассматривать и с точки зрения минимизации полной энергии системы. Более подробно этот вопрос будет в несколько иной связи рассмотрен в следующем параграфе. [4]
Процедуру исключения грубых погрешностей следует провести для оставшихся данных наблюдений. [5]
Практически процедуру исключения зависимой переменной состояния можно выполнять над матрицей D без предварительной перестановки ее столбцов. При появлении в / - и строке нулевых элементов во всех столбцах для алгебраических переменных эта процедура сводится к следующим операциям. [6]
Выполнив процедуру исключения узла NX для всех дуг, снова найдем дугу, инцидентную узлу N и повторим процесс исключения. [7]
Обсудим процедуру исключения непрерывного спектра прн определении относительной яркости спектральных линий по измеренным: почернениям в максимуме этих липни. [8]
Описанная здесь процедура исключения t2 называется иногда исключением медленного переходного процесса или расширением критической области. Поскольку наличие члена sy с малым отрицательным у2 означает медленное приближение Rsi к ( А с ростом s, иными словами, налицо медленное переходное поведение, то исключение t2sV: как раз и означает исключение подобного медленного переходного поведения. Если у2 мал, мала и критическая область. [9]
ТЕОРЕМА 2.1. Процедура исключения Гаусса не изменяет пространства решений системы совместных уравнений. [10]
Таким образом, процедура исключения иррациональности сводится к нахождению дополнительного множителя для алгебраического выражения S, содержащего радикалы. Заметим, что указать универсальный способ нахождения дополнительного множителя представляется весьма затруднительным. [11]
Таким образом, процедура исключения иррациональности из числителя или знаменателя дробного иррационального выражения сводится к нахождению дополнительного множителя для алгебраического выражения S, содержащего радикалы. В общем случае трудно указать универсальный способ нахождения дополнительного множителя для произвольного иррационального выражения. [12]
Выше показано, что процедура гауссовских исключений порождает такие матрицы L и U, что A LU. [13]
![]() |
Панель опций. [14] |
В разделе Fit реализованы процедуры пошагового исключения векторов независимых переменных из модели. При установке флажка в поле АИ проводится регрессионный анализ, описанный выше. Для уменьшения количества переменных в регрессионной модели используют пошаговый отбор переменных. В качестве критерия отбрасывания незначимой переменной используется F-отношение Фишера. В зависимости от поставленной задачи его значение может быть изменено. [15]