说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 语法陷阱
1)  grammar trap
语法陷阱
2)  semantic trap
语义陷阱
3)  vocabulary trap
词语"陷阱"
4)  pitfall traps
陷阱法
1.
Dynamic analysis of distribution patterns of the spiders in a cotton field by pitfall traps;
陷阱法调查棉田蜘蛛的分布动态
5)  legal trap
法律陷阱
6)  time-trap method
时间陷阱法
1.
This study put forward a business processes diagnosis method based on process operation efficiency,that is,business processes are analyzed by combining time-trap method with ABC (activity based on cost) method.
本文提出了基于流程运作效率的业务流程诊断分析方法,即综合运用时间陷阱法和作业成本ABC法分析业务流程,并给出了分析的步骤,在一定程度上实现了定量和定性分析方法的结合,使业务流程的分析结果更准确,为实施业务流程再确立了重点。
补充资料:语法


语法
syntax

  语法【syntax;c皿“TaKe“c」,数理逻辑中的 作为纯符号系统的形式公理理论的描述和研究(与之比较,语义(se扣。niies)涉及形式理论对象的含义).在数学基础中区别语法和语义是特别重要的,数学基础所研究的形式理论的语义不是直观上明显的.在这种情形下,形式理论语法的描述和研究常借助元理论(meta一theory)中更加可靠的直觉可信的方法来实现,元理论作为基础使用,而不直接解释所研究的复杂的语义的本质特征.例如,在公理集合论(a朋matic set theory)中,熟知的G记el的选择公理的相容性可以作为语法的、有限地可证明的结论,只要Zermefo一Fraellkel形式理论和谐,则加上选择公理也和谐. 当我们不限于数学基础而考虑证明论(prooftheo-ry)时,语法和语义的区别就不是这么重要的了.有人采用所谓的半形式系统(senU一fora长d system),其中推演概念就与某些语义约定有关.形式语言可以实质上是集合论式地用无穷长公式等来定义.另一方面,对于有界可表示的形式语言,诸如组合逻辑(com-bmtory fogic)的语言,算术语言(algoritlm血lan即-age),创门的语义可以用该语言的纯语法的方法严格地阐述出来.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条