说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 项目远景说明书
1)  Project Vision Statement
项目远景说明书
2)  specification of an item
项目说明书
3)  Project Mission Statement
项目使命说明书
4)  Project Vision
项目远景
5)  item des cription
项目说明
6)  Program Definition Statement (PDS)
项目群定义说明书
补充资料:语法


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