|
|
|
|
|
|
|
|
|
Initial 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], латинский
Initial, английский
- Начальный
- A начальный, стоящий в начале слова (звук, слог и т.д.; ант. final) | n на- чальная буква consonant, symbol capital ~ прописная начальная буква small ~ строчная начальная буква
Initial (letter), английский
The use of a large letter to start the first paragraph of continuous text. raised initial is where the initial letter is base aligned with the first line of text and rises above it. drop initial letter is when the top of the initial letter is aligned with the top of the first text line and drops to occupy the start of the second line. highly decorated initial letters were used in very early handwritten text, for example the book of kells. some dtp packages use the term big first letter. ink jet printer a non- impact printer that ‘draws’ the characters by squirting ink at the paper from a fine jet whose position can be altered by program commands. *input a term used to describe information being sent to a computer.
Initial acquisition, английский
Первоначальное вхождение в синхронизм; начальная
Initial address, английский
Начальный адрес
Initial address message, английский
- Исходное адресное сообщение
- Начальное адресное сообщение
Initial address message (iam), английский
Initial address message with additional information, английский
Initial address message with additional information (iai), английский
Утверждение, русский
- Утверждение , согласие
- – положение, мысль, которой доказывают что-нибудь.
- Утвердительная форма выдвижения гипотезы, относительно некоторого явления
- Положение, мысль, которой доказывают, утверждают что-либо [114]. в логике – особая форма предложе- ния, которая в утвердительной форме выдвигает гипотезу отно- сительно некоторого явления. в математике доказанные утвер- ждения называются теоремами (более простые – леммами). [114].
|
Input assertion, английский
Начальное утверждение
Initial shift state, английский
Начальное состояние сдвига
|
|
|
|
|
|
|
