set of
| coded boolean expressions
| that are
| satisfiable
| set of | |
| gen. | комплект |
| IT | инструкция |
| meas.inst. | ряд |
| coded boolean expression | |
| progr. | закодированная булева формула |
| that is | |
| gen. | то есть; это другое дело; иначе говоря; другими словами; который; иными словами |
| context. | конечно |
| satisfiable | |
| gen. | выполнимый; удовлетворимый; могущий быть удовлетворённым |
| comp., net. | достижимый |
| el. | дающий возможность выполнения всех условий |
| logic | может быть истинным |
| |||
| комплект (I. Havkin) | |||
| инструкция | |||
| ряд (ssn) | |||
| набор (ssn); серия (ssn); множество (ssn); группа (ssn); совокупность (ssn); система (уравнений ssn); коллекция (ssn); последовательность (ssn) | |||
|
set of : 2697 phrases in 205 subjects |