|
|
|
|
|
|
|
|
|
Input assertion
Глоссарий по вычислительной технике |
Начальное утверждение
|
|
Assert, английский
Утверждать; предполагать; высказывать
Assert (to), английский
Assert 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.
Assertio [onis, f], латинский
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, английский
База данных для утверждений
Assertive, английский
A утвердительный; ассертивный assibilant n асибилянт
Assertor [oris, m], латинский
Input, английский
- Enfournement;entrée (automatism
- The amount of fuel used by a water heater in a given period of time; generally rated in one hour.
- Same as i/p.
- Output processor
- Входной сигнал; вход; входной
- Затраты; общая сумма затрат (на проект, программу работ), см. outlays expenditure, capital outlays
- Производственные затраты; потребности научных учреждений и отдельных ученых в информации (документы оон)
- Output coefficient — коэффициент прямых затрат
- Output tables — таблицы затрат—выпуска продукции, межотраслевой баланс, шахматная таблица (в снс), см. inter-branch balance; intersectoral balance, source-and-use tables
- Output ratios for inventories in relation to production — коэффициенты производственных запасов на единицу продукции
- The connection going into an audio device or computer. in a mixing board, a connector for a microphone or other signal source.
Input, английский
Input, английский
Input, английский
Input, английский
Input, английский
Input, английский
Input, английский
Утверждение, русский
- Утверждение , согласие
- – положение, мысль, которой доказывают что-нибудь.
- Утвердительная форма выдвижения гипотезы, относительно некоторого явления
- Положение, мысль, которой доказывают, утверждают что-либо [114]. в логике – особая форма предложе- ния, которая в утвердительной форме выдвигает гипотезу отно- сительно некоторого явления. в математике доказанные утвер- ждения называются теоремами (более простые – леммами). [114].
|
Initial investment, английский
Начальные капиталовложения
Initial assertion, английский
Начальное утверждение
|
|
|
|
|
|
|