1) semantic tableaux algorithm
![点击朗读](/dictall/images/read.gif)
语义表格算法
2) semantic notation
![点击朗读](/dictall/images/read.gif)
语义表示法
3) table-algorithm
![点击朗读](/dictall/images/read.gif)
表格式算法
1.
By means of some examples,it shows that table-algorithm is more useful in simplifying algorithm and offering creative thinking for quantitative analysis to management.
通过几个实例说明在应用现代化管理方法时,表格式算法是一种值得推广的方法。
4) list calculation
![点击朗读](/dictall/images/read.gif)
表格计算法
5) form defining language
![点击朗读](/dictall/images/read.gif)
表格定义语言
1.
The data model,the form defining language,the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
6) semantic representation language
![点击朗读](/dictall/images/read.gif)
语义表示法语言
补充资料:语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中,即程序的含义。程序设计语言的语义,一般在语言文本中用自然语言描述,说明用该语言编写的程序的意义,即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义,代数语义,指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义,即编译程序对程序的理解,包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条