|
|
|
|
|
|
|
|
|
Assertio [onis, f]
| Русско-латинский словарь |
|
Утверждение, русский
- Утверждение , согласие
- – положение, мысль, которой доказывают что-нибудь.
- Утвердительная форма выдвижения гипотезы, относительно некоторого явления
- Положение, мысль, которой доказывают, утверждают что-либо [114]. в логике – особая форма предложе- ния, которая в утвердительной форме выдвигает гипотезу отно- сительно некоторого явления. в математике доказанные утвер- ждения называются теоремами (более простые – леммами). [114].
|
Assertion, английский
- Утверждение
- N утверждение; ассерция
- In a knowledge base, logic system, or ontology, an assertion is any statement that is defined a priori to be true. this can include things such as axioms, values, and constraints. see also: ontology, axiom.
Assertion box, английский
Вводящий блок
Assertion checker, английский
Assertion failure, английский
The inability of a condition to hold true at some particular point in a program. when a condition does not hold true, execution of the program is interrupted, and a dialog box or message may appear.
Assertion operator, английский
Оператор контроля
Assertion statement, английский
- Оператор контроля
- A boolean statement used in a program to test a condition that, if the program is operating correctly, should always evaluate as true; otherwise the program will typically terminate with an appropriate error message. assertions are used for debugging programs and for documenting how a program should operate.
Assertional database, английский
База данных для утверждений
|
Assensus [us, m], латинский
Assidere, латинский
|
|
|
|
|
|
|
