Нормальные формы

Cтраница 4

В логике высказываний были введены две нормальные формы: конъюнктивная и дизъюнктивная. По аналогичным причинам стоит ввести нормальные формы и в исчисления предикатов. [46]

В этом пункте мы вкратце опишем другие нормальные формы матриц, пригодные, в частности, для алгебраически незамкнутых полей. [47]

Рассматривая все возможные типы слоев и соответствующие нормальные формы минимальных моделей ( [8], стр. [48]

Карты Вейча из примера 2 в § 3 - 4.| Элементарные произведения, получаемые конституент. [49]

Наряду с ДНФ функции представляют интерес и нормальные формы ( НФ) других типов. [50]

Совершенные и сокращенные дизъюнктивные нормальные формы и конъюнктивные нормальные формы используются для решения задачи обзора всех гипотез и всех следствий заданной формулы. [51]

Решения задач 12 - 13 доставляют также нормальные формы семейств траекторий медленного движения в теории релаксационных колебаний общего положения при двух медленных переменных. В этой теории в трехмерном пространстве, расслоенном на вертикальные прямые над плоскостью медленных переменных задано два векторных поля: одно ( быстрое) вертикально, а другое ( возмущающее) произвольно. Нули быстрого поля образуют медленную поверхность. Плоскости, натянутые на векторы обоих полей, высекают на медленной поверхности поле направлений медленного движения. Речь идет о семействе проекций интегральных кривых этого поля с медленной поверхности на плоскость медленных переменных. [52]

Страницы: 1 2 3 4