Results for « 谓词演算 » (cmn)
06165364-n
谓词演算, 命题函项演算, 命题 函项 演算, 谓词 演算
predicate calculus, functional calculus
     a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
 

Langs:
Preferences
(0.00289 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>