|
|
|
|
|
|
|
|
|
Formal implication
| Глоссарий по вычислительной технике |
Формальная импликация formal inferenceформальный вывод
|
|
Formal, английский
- Неформальные рассуждения
- A формальный (син. technical) alternation, analogy, class, correspondence, 1 слово, образованное путём сокращения: fax < facsimile, gym < gymnasium, lab < laboratory. grammar, logic, phonology, semantics, syntax, unit, universal
- Формальный
- Разг. мероприятие, на котором участники должны быть в вечерних туалетах
Formal agent, английский
An agent who may be signed in into uc throughout the day, and they may sign in and out of the acd system during the day. they are fully aware of their role as an agent and want to be able to see the numbers of calls in the queues they are serving, and so on.
Formal approach, английский
Формальный метод; формализованный метод
Formal argument, английский
Формальный параметр
Formal axiomatics, английский
Формальная аксиоматика
Formal changes, английский
- Формальные поправки
- Формальные поправки;
Formal charge transfer coefficient, английский
Formal coefficient of the charge transfer cm formal charge transfer coefficient, английский
Formal complaint process, английский
A special procedure to resolve remaining differences after an informal complaint procedure has not yielded results satisfactory to the customer.
Formal definition, английский
Формальное определение
Formal description, английский
Формальное описание; формализованное описание formal grammarформальная грамматика
Formal description technique, английский
Formal description technique (fdt), английский
Formal draft international standard (iso), английский
Formal electromagnetic compatibility tests, английский
Официальные испытания на электромагнитную совместимость
Formal garden, английский
A garden whose plantings, walks, pools, fountains, etc., follow a definite, recognizable plan, frequently symmetrical, emphasizing geometrical forms.
Formal identifier, английский
Any variable or set of variables which is structurally unique for every population unit, for example a population registration number. if the formal identifier is known to the intruder, identification of a target individual is directly possible for him or
Formal language theory, английский
Теория формальных языков
Formal logic, английский
Формальная логика
Formal matter, английский
Формальные признаки;
Импликация, русский
- (лат. – спутанность) логическое отношение, состоящее в том, что одна вещь «имплицирует» другую, т.е. включает ее в себя. объект познания имплицирует др. объект познания, если второй с необходимостью вытекает из первого; напр., отношение имплицирует число, число имплицирует пространство, понятие отца имплицирует понятие ребенка и т. д. относительно импликации и импликатора см. логистика.
- (от лат . implico - тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота "если..., то..."; операция, формализующая логические свойства этого оборота.
- Логическая операция (связка) для двух выражений. результирующее выражение ложно тогда, когда первое выражение истинно, а второе ложно (операция и. некоммутативна). стандартное обозначение импликации: ®.
|
Formal logic, английский
Формальная логика
Formal verification, английский
Формальная верификация
|
|
|
|
|
|
|
