您现在的位置:生物医药大词典 >> 通用词典 >> 词汇解释: predicate calculus
predicate calculus

分享到:
【计】 谓词演算


分类:
通用词汇          |    查看相关文献(pubmed)   |    免费全文文献

详细解释:




以下为句子列表:
英文: Also, first-order predicate calculus isn't good enough anyway.

中文: 同时,从各方面来说,一阶谓词演算都不是足够好。        更详细...
英文: So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language.

中文: 所以对于一个复杂对象,任何看起来需要一阶谓词演算才能描述的东西,实际都可以在编程语言范畴内实现十分精细地表述。        更详细...
英文: This is not expressible as a first-order predicate calculus property.

中文: 这就是一个一阶谓词演算不可表述的属性。        更详细...
分享到:
赞助商链接
你知道它的英文吗?
你知道中文意思吗?
热门分类


成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 生物谷www.bioon.com团队研发
沪ICP备14018916号-1