Kleene
- 网络克林;克莱尼;克林尼
Kleene
Kleene
克林
果然,几乎在丘奇向学术界展示他的λ演算的同时,克林(Kleene)和科里(Curry)就证明了,作为一个逻辑推理系统,λ演算 …
克莱尼
...d-point theorem)在数学中,序理论的克莱尼(Kleene)不动点定理声称给定任何完全格 L 和任何连续的(因此单调的)函数
克林尼
...的基础纲领被冲开了缺口.第二次世界大战后,由于S.克林尼(Kleene)开拓性的研究,由于递归函数论的兴起和计算机的广 …
克利恩
克利恩(Kleene)三值逻辑系统K3 卢卡西维茨(Luckasiewicz)三值逻辑系统L3 波兹瓦(Bochvar)三值逻辑系统B 3.4 非 …
1