intermediate-level language
英
美
- 中阶语言
双语例句
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。 - Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter.
比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
