说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 语法损伤
1)  grammar impairment
语法损伤
2)  interlanguage grammar impairment
中介语法损伤
3)  L2 syntactic impairment
中介语句法损伤
1.
The studies on the L2 syntactic impairment are the latest developments of the UG access research.
中介语句法损伤研究是对普遍语法可及性的最新探讨,而今对中介语句法损伤研究的重心已由不自由词素屈折词缀的习得转移到自由词素冠词的习得。
4)  least destroying algorithm
最小损伤法
1.
Based on two types of placements called sticking placement and leaning placement and the least destroying strategy, an approximate algorithm called the least destroying algorithm for solving dense packings of unit equilateral triangles in a square is developed.
提出了三角形的两种放置动作———贴合动作和粘靠动作 ,在此基础上按照最小损伤策略设计了求解单位等边三角形Packing问题的最小损伤法 。
5)  accumulative damage method
累积损伤法
6)  Forensic traumatology
法医损伤学
补充资料:语法


语法
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),创门的语义可以用该语言的纯语法的方法严格地阐述出来.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条