Однако естественно, что свойство нетривиальности не является до конца формализуемым и, помимо желательности ослабления X, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Труды М.К.
Идентификация систем и задачи управления
Однако естественно, что свойство нетривиальности не является до конца формализуемым и, помимо желательности ослабления X, предполагает, например, обеспечение как можно более простой проверяемости X на выполнимость по сравнению с F на моделях рассматриваемой теории. Получение Xв форме необходимых и достаточных условий позволяет дополнительными преобразованиями из [45, 46] получать, вообще говоря, более слабые окончательные условия.
![Однако естественно, что свойство нетривиальности не является до конца формализуемым и, помимо желательности ослабления X, предполагает, например, обеспечение как можно более простой проверяемости X на выполнимость по сравнению с F на моделях рассматриваемой теории. Получение Xв форме необходимых и достаточных условий позволяет дополнительными преобразованиями из [45, 46] получать, вообще говоря, более слабые окончательные условия.](/pic/4297456H7Ef1Wc0030326650.png)