| 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) |
