 |
| |||
| утверждения (недостаточно подкреплённые, недоказанные A.Rezvov) | |||
| утверждения (ssn); механизм ассерций (Alex_Odeychuk) | |||
| |||
| заверение | |||
| утверждение; отстаивание; суждение; положительное утверждение (или декларация, часто без поддержки или причины: простое утверждение Lukich); притязание; защита (дела, права) | |||
| заявление (прав, претензий); утверждение (заявление) | |||
| ассерция; констатация | |||
| отстаивание (прав); предпосылка (Ellisa) | |||
| истинное логическое выражение; логическое выражение; утверждение (суждение) | |||
| предложение; формулировка; тезис; высказывание; утверждение (suppose the assertion of this theorem is false) | |||
| проверочное утверждение (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) | |||
| заявление (прав) | |||
| заявление; защита (прав) | |||
| отстаивание (претензии, права) | |||
| утвердительное суждение (ssn); подтверждение (ssn); оператор подтверждения отсутствия ошибок (ssn); постулирование существования (ssn); доказательство существования (ssn); факт, добавленный в базу данных (при исполнении программы ssn); правило, добавленное в базу данных (при исполнении программы ssn); оператор условия (ssn); формальное утверждение корректности (алгоритма Alex_Odeychuk); предположение контракта (в контрактном программировании Alex_Odeychuk); обязательство модуля (в контрактном программировании Alex_Odeychuk) | |||
| утверждение (высказывание) | |||
| уверенность в себе | |||
| утверждение (в вычислительной технике); программный оператор факта или правила | |||
| предпосылка подготовки финансовой бухгалтерской отчётности (в российских стандартах аудита Измаил) | |||
| установление уровня сигнала | |||
| оператор контроля; условие | |||
| Angielski tezaurus | |||
| |||
| Any formal declaration or set of declarations about the subject matter made by management (Assertions should usually be in writing and commonly contain a list of specific attributes about the subject matter or about a process involving the subject matter) | |||
|
assertions : 288 do fraz, 37 tematyki |