|
|
|
|
|
|
|
|
|
Implicant
Глоссарий по вычислительной технике |
- Импликанта
- An implicant b of a statement a is a satisfiable conjunction of conditions which entails a. b is a prime implicant of a when no subset of b is also an implicant of a (e.g., when b is minimal). see also: implicate.
|
|
Conjunction, английский
- N союз coordinating ~ сочинительный союз (ант. subordinating ~) subordinating ~ подчинительный союз (ант. coordinating ~)
- In nautical astronomy, is when two bodies have the same longitude or right ascension.
- Конъюнкция; логическое умножение
Conditions, английский
- The terms of surrender.
- Обстоятельства; условия; режим
- Грузовая устойчивость ~ of crane during lifting operations грузовая устойчивость крана ~ of geometrical shape геометрическая неизменяемость ~ of slope устойчивость откоса ~ of volume постоянство объёма
- Наблюдения за работой сооружений в условиях эксплуатации
- Работа конструкции в условиях эксплуатационных нагрузок
- A set of specified constraints and parameters that are part of the rights group bundled into a rights label. these are enforced at the time of consumption.
|
Implicative normal form, английский
Импликативная нормальная форма
Imperative language, английский
Императивный язык; процедурный язык
|
|
|
|
|
|
|