Russian | English |
алгоритмы верификации моделей для формул LTL | algorithms for LTL model checking (ssn) |
алгоритмы верификации моделей для формул CTL | algorithms for CTL model checking (ssn) |
алгоритмы верификации моделей для формул CTL и для формул LTL | algorithms for CTL model checking, LTL model checking (ssn) |
алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn) |
булева формула | boolean expression (ssn) |
булева формула | boolean formula (ssn) |
булевы формулы | boolean expressions (ssn) |
булевы формулы | boolean formulas (ssn) |
булевы формулы с кванторами | quantified boolean formulas (ssn) |
ввод формулы массива | entering an array formula (напр., в Microsoft Excel ssn) |
визуализация логических формул | visualization of logical formulas (Alex_Odeychuk) |
визуализация логических формул | visual representation of logical formulas (в языке программирования с управляющей графикой Alex_Odeychuk) |
внешние интерфейсы, форматы данных, бизнес-правила и сложные формулы | external interfaces, data formats, business rules and complex formulae (ssn) |
выделение диапазона формулы массива | selecting an array formula range (напр., в Microsoft Excel ssn) |
вычисление булевых формул с кванторами | evaluating quantified boolean formulas (ssn) |
диапазон формулы массива | array formula range (напр., в Microsoft Excel ssn) |
для беззнаковых сложения и вычитания есть существенно более простые формулы, использующие команды сравнения | for unsigned add's and subtract's, there are much simpler formulas in terms of comparisons |
закодированная булева формула | coded boolean expression (ssn) |
индикаторная логическая формула | indicator logical formula (ssn) |
использование этой и аналогичной формул для вычитания | using this and similar observations about subtraction (ssn) |
Использование этой и аналогичной формул для вычитания даёт нам приведённый ниже код для сложения / вычитания двух полуслов по модулю 2 | Using this and similar observations about subtraction gives the following code for adding/subtracting two halfwords modulo 2 (в шестнадцатой степени; см. Hacker's delight / Henry S. Warren, Jr. – 2nd ed. (2013)) |
коды невыполнимых булевых формул | codes for an unsatisfiable boolean expression (ssn) |
магические формулы | a magic formula (ssn) |
магические формулы, действующие при решении любых бизнес-задач | a magic formula that satisfies each and every business scenario (ssn) |
математическая формула | mathematical formula (ssn) |
математическая формула | math formula (ssn) |
математические формулы | mathematical expressions (ssn) |
минимальная невыполнимая формула | unsatisfiable core (Alex_Odeychuk) |
множество закодированных выполнимых булевых формул | set of coded boolean expressions that are satisfiable (ssn) |
множество с повторяющимися логическими формулами | multi-set of logical formulas (Alex_Odeychuk) |
неверная формула | invalid formula (ssn) |
невыполнимая булева формула | unsatisfiable boolean expression (ssn) |
область формул | math region (ssn) |
область формул | mathematical region (ssn) |
общезначимая формула высказываний | valid propositional formula (ssn) |
основная формула вычисления производительности | basic performance equation (ssn) |
подобная формула | similar formula (ssn) |
подобные формулы | similar formulas (ssn) |
правильная формула | well-formed formula (высказываний ssn) |
правильная формула высказываний | well-formed propositional formula (ssn) |
правильные коды булевых формул | valid codes for a boolean expression (ssn) |
приближение к тангенсу на основе формулы Ламберта | approximation to the tangent function based on Lambert's formula (ssn) |
противоречивая формула высказываний | inconsistent propositional formula (ssn) |
работа с формулами массива | working with array formulas (напр., в Microsoft Excel ssn) |
редактирование формулы массива | editing an array formula (напр., в Microsoft Excel ssn) |
решатель задач выполнимости формул в комбинации теорий | SMT solver (Alex_Odeychuk) |
решатель задач выполнимости формул с учётом лежащих в их основе теорий | SMT solver (IBM Alex_Odeychuk) |
симметричная формула | symmetric formula (ssn) |
сложная формула | complex formula (ssn) |
сложные формулы | complex formulae (ssn) |
случайная формула | contingent formula (высказываний ssn) |
существенно более простые формулы | much simpler formulas (ssn) |
существенно более простые формулы, использующие команды сравнения | much simpler formulas in terms of comparisons (ssn) |
формула Аккермана | Ackermann's formula (ssn) |
формула высказываний | propositional formula (ssn) |
формула, заданная пользователем | user provided formula (Microsoft Alex_Odeychuk) |
формула логики предикатов | predicate formula (ssn) |
формула массива | array formula (напр., в Microsoft Excel ssn) |
формула Мейсона | Mason's gain formula (ssn) |
формула многомерного выражения | MDX formula (ssn) |
формула предикатов | predicate formula (ssn) |
формула решета | sieve formula (ssn) |
формула функций двойного угла | double angle formula (ssn) |
формулы массива | array formulas (напр., в Microsoft Excel ssn) |
элегантная симметричная формула | nicely symmetric formula (ssn) |