说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 断言;独断
1)  assertiveness n.
断言;独断
2)  self-assumed [英][,selfə'sju:md]  [美][,sɛlfə'sjumd]
独断
1.
The origin of the decision misplay is that the decision-makers are self-assumed and unrestricted,and their purposeless expansion,diversification development and opportunism in attempting to be a upstart as well.
造成决策失误的原因是决策者的独断和无制约;盲目的扩张与多元化;妄图暴富的投机心理。
3)  judgment/assertion
判断/断言
4)  assertion judgment
断言判断
5)  assertion [英][ə'sɜ:ʃn]  [美][ə'sɝʃən]
断言
1.
Research on the Application of Assertion-Based Formal Verification;
基于断言的形式验证方法应用研究
2.
Application of Technology of Assertion Verification on IP Core Verification;
断言验证技术在IP核验证中的应用
3.
Transaction Based Assertion Verification and Verification Platform of SDH Chip;
基于事务断言验证及SDH芯片验证平台
6)  predicate [英]['predɪkət]  [美]['prɛdɪkɪt]
断言
补充资料:断言


断言
assertion

  断盲脚留时妞.;。,移.曰.卜拿粤伽勺p万盛咖或s纽把-~),(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句,在狭义下,数理逻辑中把它理解为逻辑一数学语言的一个闭公式,并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题,例如选择公擎~of咖让),诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且,语义学本身并未充分发展,或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内,某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条