Kleene*

  • 网络克林;克莱尼;克林尼

Kleene*Kleene*

Kleene*

克林

果然,几乎在丘奇向学术界展示他的λ演算的同时,克林Kleene)和科里(Curry)就证明了,作为一个逻辑推理系统,λ演算 …

克莱尼

...d-point theorem)在数学中,序理论的克莱尼Kleene)不动点定理声称给定任何完全格 L 和任何连续的(因此单调的)函数

克林尼

...的基础纲领被冲开了缺口.第二次世界大战后,由于S.克林尼(Kleene)开拓性的研究,由于递归函数论的兴起和计算机的广 …

克利恩

克利恩Kleene)三值逻辑系统K3 卢卡西维茨(Luckasiewicz)三值逻辑系统L3 波兹瓦(Bochvar)三值逻辑系统B 3.4 非 …

热词推荐