字典網>> 英漢字典>> P開頭詞條>>predicate calculus的意思

predicate calculus

讀音

漢語翻譯

【計】 謂詞演算

英文解釋:

名詞 predicate calculus:

  1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    同義詞:functional calculus

猜你喜歡: