逻辑断言的英文

• logical assertion

• "逻辑"英文翻译    logic
• "断言"英文翻译    say with certainty; assert c ...
• "断言级逻辑" 英文翻译 :    assertion-level logic
• "断言级逻辑，命题逻辑" 英文翻译 :    assertion-level logic
• "断言" 英文翻译 :    say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; assertion; asseveration 大胆断言 boldly assert; 无根据地断言 groundlessly assert; 断言集论 predicative set theory; 断言数据库 assertion data base; 断言语句 assertion statement
• "断言，主张" 英文翻译 :    assert
• "断言；声明" 英文翻译 :    predicate v. state firmly
• "断言表" 英文翻译 :    assertion list
• "断言的" 英文翻译 :    assertive; predicated
• "断言类" 英文翻译 :    assertives
• "断言者" 英文翻译 :    affirmant
• "可断言" 英文翻译 :    assertable; enunciability
• "命题；断言" 英文翻译 :    assertion
• "声称,断言" 英文翻译 :    claim
• "声明；断言" 英文翻译 :    declare
• "宣称；断言" 英文翻译 :    asserted; edclare
• "宣言，断言" 英文翻译 :    allege
• "再断言" 英文翻译 :    rea ert; reaffirmation; reassert
• "逻辑" 英文翻译 :    logic 有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of logic is that?; 逻辑包含 logical inclusion; 逻辑比较 logic comparison; logical comparison; 逻辑变换 logical conversion; 逻辑变量 logic variable; 逻辑 (型)变量 logical variable; 逻辑变项 [数学] logical variable; 逻辑表 logical table; 逻辑表达式 logical expression; 逻辑差 logical difference; 逻辑常数 logical constant; 逻辑程序 logical program; 逻辑错误 logical error; 逻辑代数 logic algebra; boolean algebra; algebra of logic; 逻辑单元 logical block; logic unit; 逻辑电路 logic circuit; logical circuit; 逻辑段 logical segment; 逻辑范畴 logical categories; 逻辑方法 logical method; 逻辑方阵 logical square; 逻辑分析 logic analysis; 逻辑分析法 analysis; 逻辑符号 logic symbol; logical symbol; 逻辑赋值语句 logical assignment statement; 逻辑关系 logical relation; 逻辑规格 logical specification; 逻辑规律 logical laws; 逻辑规则 logic rules; 逻辑函数 logical function; 逻辑恒量 logical constant; 逻辑机 logical machine; 逻辑级 logic level; 逻辑计算机 logical computer; 逻辑记录 [自动化] logical record; 逻辑解释 logical interpretation; 逻辑经验论 [哲学] logical empiricism; 逻辑经验论者 logical empiricist; 逻辑矩阵 logic matrix; 逻辑卡片 logic card; 逻辑连接 logical link; 逻辑连接词 logical connective; 逻辑连接符 [数学] logical connectives; logical connector; 逻辑连结 logical connection; 逻辑矛盾 logical contradiction; 逻辑曲线 [统计学] logistic curve; 逻辑设备表 logical unit table; 逻辑设计 [自动化] logic design; logical design; 逻辑实证论 [哲学] logical positivism; 逻辑实证论者 logical positivist; 逻辑实证主义 logical positivism; 逻辑史 history of logic; 逻辑数学 logical mathematics; 逻辑思维 logical thinking; 逻辑特征 logical implication; disjunction; 逻辑条件语句 logical if statement; 逻辑图 [自动化] logic diagram; logical chart; 逻辑推演 logical deduction by reasoning; 逻辑网络 logical net (work); 逻辑文件 logical file; 逻辑项 logical term; 逻辑型 logical type; 逻辑形l grammar; 逻辑原子论 [哲学] logical atomism; 逻辑运算 logical calculus; logical operation; 逻辑障碍[心] paralogia; 逻辑哲学 philosphy of logic; 逻辑正确 logically true; 逻辑证明 logical proof; 逻辑值 logic value; logical value; 逻辑制表 logic tab; 逻辑重音 logical accent; 逻辑主义 logicism; logicistic; 逻辑主语 [语言学] logical subject
• "变迁断言" 英文翻译 :    transition assertion
• "不变断言" 英文翻译 :    invariant assertion
• "不能断言的" 英文翻译 :    unasserted
• "测试断言" 英文翻译 :    test assertion
• "程序断言" 英文翻译 :    program assertion
• "大胆断言" 英文翻译 :    boldly assert

• Preventing common bugs with temporal logic assertions
  用时态逻辑断言防止常见错误
• Listing 1 shows some examples of temporal logic assertions
  清单1显示了一些时态逻辑断言示例：
• Then we ll take a look at a tool for processing temporal logic assertions
  然后，我们将研究用于处理时态逻辑断言的工具。
• Temporal logic assertions are also useful for diagnosing such errors in the first place
  首先，时态逻辑断言对于诊断此类错误也是有用的。
• In this article , we ve shown how to use temporal logic assertions to combat the following bug patterns
  在本文中，我们展示了如何用时态逻辑断言对付下列错误模式：
• You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the
  查看temporal rover试用版（在运行时检查时态逻辑断言的工具） 。
• So , in this case , you can get away without using temporal logic assertions , but the task is much more difficult
  因此，在本例中，您可以根本不用时态逻辑断言就能完成任务，但会困难得多。
• In fact , we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions
  实际上，可以通过使用此类时态逻辑断言来加大我们消除一些最常见错误模式的力度。
• In this article , eric allen discusses assertions , introduces temporal logic , and describes a tool for processing temporal logic assertions in your programs
  在本文中， eric allen将讨论断言，介绍时态逻辑并描述用于处理程序中时态逻辑断言的工具
• Temporal rover , from time rover inc . , is a tool for processing temporal logic assertions in java programs and generating valid java code from the assertions
  Time rover inc .的temporal rover是一种用于处理java程序中时态逻辑断言并根据断言生成有效java代码的工具。