Вложенные функции в формулах Nested functions in formulas
вывод формулы development
Выражения и формулы Equations and Formulas
вычисление интеграла по формуле прямоугольников rectangular integration
вычисление интеграла по формуле трапеций trapezoidal integration
вычисление по формуле formula evaluation
голова хорновской формулы head (в языке ПРОЛОГ)
дедуктивно равные формулы interdeducible formulas
интерполяционная формула interpolation formula
исходная формула assumption formula
конгруэнтные формулы congruous formulas
конечная формула end formula
левая часть хорновской формулы head (в языке ПРОЛОГ)
начальная формула starter formula (при численном интегрировании)
неопровержимая логическая формула irrefutable formula
неопровержимая формула irrefutable formula
окно формул formula box
опровержимая логическая формула refutable formula
опровержимая формула refutable formula
основная формула fundamental formula
оценочная формула evaluation
поле формул formula box
правая часть формулы tail of a clause (в языке пролог)
правая часть хорновской формулы tail of a clause (в языке пролог)
правильно построенная формула well-formed formula
преобразование формул formula manipulation
преобразование формулы formula translation
пустая формула null formula
работа с формулами formula manipulation
рабочая формула working equation
расчетная формула design formula; design equation
рекуррентная формула recurrence formula
Стереть формулу Remove a formula
Строка формул formula bar
табличная формула array formula
трансляция формулы formula translation
Трассировщик формул Formula Tracer
формула Бейеса Baye's formula
формула для интерполирования вперед forward interpolation formula
формула для массива array formula
формула доступа accessing formula
формула маршрута path expression (при межпроцессорных взаимодействиях)
формула матричного преобразования matrix formula
формула обратного преобразования inversion formula
формула оценки evaluation; estimator
формула погрешности error equation
формула простых процентов simple interest formula
формула ряда series formula
формула Симпсона Simpson's rule
формула сложных процентов compound interest formula
формула суммирования summation formula
формула удвоения duplication formula
формула Хорна Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.
хвост формулы tail of a clause (в языке пролог)
хвост хорновской формулы tail of a clause (в языке пролог)
хорновская формула Horn clause Предложение исчисления высказываний, записываемое в виде "А если В и В и ... В". Исследовано Хорном и названо его именем. Является основой конструкций языка Пролог.