predicate logic
英
美
- 谓词演算
双语例句
- Also, first-order predicate calculus isn't good enough anyway.
同时,从各方面来说,一阶谓词演算都不是足够好。 - In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved