256查询网 英汉词典

predicate logic

英 美
  • 谓词演算

双语例句

    1. Also, first-order predicate calculus isn't good enough anyway.
      同时,从各方面来说,一阶谓词演算都不是足够好。
    2. 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

Copyright © 2023 www.256cha.com All Rights Reserved

256查询网 赣ICP备18009369号-6

本站部分资料来自网络,如有侵权请速与我们联系删除