1) Calculus of inductive construction
归纳构造演算
2) generation calculus
构造演算
3) constructive induction
构造性归纳
1.
The thesis presents a constructive induction method CSea, which is heuristic and breath-first.
本文介绍了一种新的基于启发式广度优先搜索的构造性归纳方法CSea。
5) extended calculus of constructions(ECC)
扩展构造演算(ECC)
6) reduction calculus
归约演算
1.
These intersect parts are the foundation for the reduction calculus which followed the aggregation calculus.
提出了实现自组织多层次归约的一个指导原则,即自组聚合与归约的协调准则,其核心思想是,基于多聚合准则的自组聚合演算中的各个聚合子集是可以相交的,相交的部分是下一步归约演算的基础。
补充资料:构造命题演算
构造命题演算
constructive propositional calculus
构造命题演算【。班.。”比犯p润p旧I柱门目因回uS;一口仍临…”..oe肚,.c月.姗..e“.3..a..后l 描述在构造数学(constructive mathematics)观点下永真的表达式的推导方法的逻辑演算(fogical calcu-lus).“构造命题演算”一词通常指的是直觉主义命题演算(intuitionistie ProPC‘itional calculus).然而,在某种构造主义的特定解释下,直觉主义命题演算是不完全的.例如,著名的R谓e公式(Rose formula) ((二,月〕A)〕(二,刁V,月))〕(,,刁V,A),其中A是公式,pV,q,而p,q是命题变元,在直觉主义命题演算中是不可推导的,同时在递归可实现的幻eene解释下是恒真的,至少在接受构造选择原理(constructive selection prindple)(MapKoB厚理(Mar-kov PrindPle))时是如此.实质问题是研究不同的构造数学语义的构造命题演算的完全性.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条