模型论的英文
model theory
例句与用法
- On modelproperties of lattice implication algebra
格蕴涵代数的模型论性质 - On the model properties of bck algebras
代数的模型论性质 - Criticisms of situation semantics on the extensional model theory and the possible world semantics
情境语义学对外延模型论和可能世界语义学的批判 - Being compared with mpsitional calculus , the property of model theory of the evaluation twhonal calculus is studied
与经典命题逻辑系统相比较,研究了评价值命题逻辑系统中的模型论性质。 - By employing the theory and technology of ontology and oil / rdf ( s ) in gdss , it not only facilitate knowledge sharing and reuse but also provide the semantic interoperability for data and knowledge exchange . this adapt to the new development of gdss in current network
把领域模型论和oil rdf ( s )的理论和技术引入到群决策支持系统中,不仅便利了知识的共享和重用,而且为数据和知识交换提供了语义上的互操作性,很好的适应了群决策支持系统在当前网络环境中的新发展。
百科释义
数学上,模型论是从集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既存的数学“对象”,然后研究:当这些对象之间的一些运算或者一些关系乃至一组公理被给定时,可以相应证明出什么,以及如何证明。
详细百科解释