Нормальная форма

Cтраница 1

Нормальная форма, даваемая этой теоремой, называется нормальной формой Пуанкаре - Дюлака; она допускает дальнейшие упрощения и поэтому иногда называется предварительной нормальной формой. [1]

Нормальная форма легко решается. [2]

Нормальная форма применяется не только при моделировании па матричных моделях. [3]

Нормальная форма называется циклически несократимой, если она либо имеет длину / 1, либо элементы g и gn принадлежат разным группам Ga, Gp. Любая нормальная форма длины / 2 сопряжена с циклически несократимой нормальной формой. Циклически несократимые нормальные формы длины / 2 сопряжены между собой тогда и только тогда, когда одна из них является циклической перестановкой другой. [4]

Нормальная форма называется циклически несократимой, если она либо имеет длину / 1, либо элементы g и gn принадлежат разным группам Ga, Gp. Любая нормальная форма длины / 2 сопряжена с циклически несократимой нормальной формой. Циклически несократимые нормальные формы длины I 2 сопряжены между собой тогда и только тогда, когда одна из них является циклической перестановкой другой. [5]

Нормальная форма общезначима тогда и только тогда, когда все ее дизъюнкты общезначимы. [6]

Нормальная форма (5.2) не изменится, если переменные -, соответствующие одному и тому же собственному числу ах. [7]

Нормальная форма Бэкуса-Наура, дополненная новыми удобными средствами: нетерминальные символы записываются малыми буквами, терминальные символы выделяются большими буквами или полужирным шрифтом, введены фигурные и квадратные скобки и многоточие. [8]

Операторы присваивания. синтаксис. [9]

Нормальная форма Бэкуса позволяет ввести глубокую рекурсивность. Эти синтаксические правила исчерпывают все типы выражений, которые мы рассматривали. [10]

Генцеиовская нормальная форма для доказательств в исчислении предикатов требует классификации дедуктивных шагов, отличной от той, которая дае. Следует отделить символ импликации: D в его роли посредника При выводах от этого же символа в роли составного символа доказываемой формулы. В первой из указанных ролей этот символ будет заменен новым формальным символом - ( читается: дает или приводит к), которому будут приписаны свойства, сходные со свойствами содержательного символа - наших прежних выводимых правил. [11]

Нормальная форма дифференциальных уравнений воз - 1.3 мущенного движения допускает простую геометрическую интерпретацию. [12]

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

Представление чисел с фиксированной точкой. [14]

Нормальная форма записи числа имеет вид N mqv, где m - мантисса числа ( т1); р - порядок; q - основание системы счисления. Порядок указывает местоположение в числе точки, отделяющей целую часть числа от дробной. В зависимости от порядка точка передвигается ( плавает) по мантиссе. Такая форма представления чисел называется формой с плавающей точкой. [15]

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