 |
| |||
| утверждения (недостаточно подкреплённые, недоказанные A.Rezvov) | |||
| утверждения (ssn); механизм ассерций (Alex_Odeychuk) | |||
| |||
| заверение | |||
| утверждение; отстаивание; суждение; положительное утверждение (или декларация, часто без поддержки или причины: простое утверждение Lukich); притязание; защита (дела, права) | |||
| заявление (прав) | |||
| отстаивание (прав); предпосылка (Ellisa) | |||
| оператор контроля; условие | |||
| утверждение (в вычислительной технике); программный оператор факта или правила | |||
| предпосылка подготовки финансовой бухгалтерской отчётности (в российских стандартах аудита Измаил) | |||
| проверочное утверждение (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) | |||
| уверенность в себе | |||
| установление уровня сигнала | |||
| предложение; формулировка; тезис; высказывание; утверждение (suppose the assertion of this theorem is false) | |||
| заявление; защита (прав) | |||
| отстаивание (претензии, права) | |||
| утверждение (высказывание) | |||
| заявление (прав, претензий); утверждение (заявление) | |||
| утвердительное суждение (ssn); подтверждение (ssn); оператор подтверждения отсутствия ошибок (ssn); постулирование существования (ssn); доказательство существования (ssn); факт, добавленный в базу данных (при исполнении программы ssn); правило, добавленное в базу данных (при исполнении программы ssn); оператор условия (ssn); формальное утверждение корректности (алгоритма Alex_Odeychuk); предположение контракта (в контрактном программировании Alex_Odeychuk); обязательство модуля (в контрактном программировании Alex_Odeychuk) | |||
| ассерция; констатация | |||
| истинное логическое выражение; логическое выражение; утверждение (суждение) | |||
| 英语 词库 | |||
| |||
| 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 短语, 37 学科 |
| 一般 | 42 |
| 专利 | 15 |
| 人工智能 | 1 |
| 信息安全 | 5 |
| 信息技术 | 17 |
| 修辞 | 3 |
| 军队 | 5 |
| 医疗的 | 2 |
| 商业活动 | 3 |
| 外交 | 2 |
| 安全系统 | 2 |
| 宗教 | 1 |
| 审计 | 2 |
| 对外政策 | 1 |
| 广告 | 4 |
| 微电子学 | 2 |
| 微软 | 1 |
| 心理学 | 3 |
| 技术 | 2 |
| 政治 | 3 |
| 教育 | 1 |
| 数学 | 19 |
| 文学 | 1 |
| 机器人 | 1 |
| 正式的 | 1 |
| 法律 | 20 |
| 测试 | 4 |
| 生态 | 2 |
| 电信 | 1 |
| 经济 | 3 |
| 编程 | 58 |
| 航空 | 1 |
| 计算 | 3 |
| 计算机网络 | 1 |
| 语言科学 | 3 |
| 逻辑 | 25 |
| 马卡罗夫 | 28 |