контекстно-свободный язык, бесконтекстный язык, алгебраический язык Язык, синтаксис которого описывается контекстно-свободной грамматикой.
English-Russian Modern Computing dictionary
algebraic manipulation
алгебраическое манипулирование Эквивалентные преобразования алгебраических выражений, построенных на двух или более операциях реляционной алгебры.
English-Russian Modern Computing dictionary
algebraic operator
алгебраический оператор
English-Russian Modern Computing dictionary
algebraic sign
алгебраический знак
English-Russian Modern Computing dictionary
algebraic specification
алгебраические спецификации Способ спецификации, при котором описание каждого выполняемого программой или модулем действия состоит из двух частей: спецификации входных параметров и совокупности уравнений, описывающих отношения между входными и выходными параметрами после выполнения операции.
English-Russian Modern Computing dictionary
algorithmic algebra
алгоритмическая алгебра, алгебра алгоритмов Математический аппарат для формального структурированного описания алгоритмов функционирования систем.
English-Russian Modern Computing dictionary
base operation of relation algebra
базовая операция реляционной алгебры Основная операция реляционной алгебры, не являющаяся производной, выражаемой через другие ее операции. К базовым относятся операции объединения, разности, декартова произведения, проекции и селекции отношений.
English-Russian Modern Computing dictionary
Boolean algebra
алгебра логики, булева алгебра Раздел математики, изучающий методы оперирования логическими (булевыми) переменными, принимающими только два значения - истина и ложь. Предложен английским математиком Дж. Булем.