Λ演算

作品数：10被引量：21H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：江南何炎祥李清安宋国新丁志义更多>>
相关机构：南京大学上海交通大学武汉大学湖北工业大学更多>>
相关期刊：《福州大学学报（自然科学版）》《小型微型计算机系统》《程序员》《语数外学习（高中版）（下）》更多>>
相关基金：国家自然科学基金博士科研启动基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机械化定理证明研究综述被引量：13
《软件学报》2020年第1期82-112,共31页江南 李清安 汪吕蒙 张晓瞳 何炎祥 
国家自然科学基金(90818018,91018009,61170022,91118003,61373039);华为技术有限公司合作项目(YB2015090035);湖北工业大学校博士科研启动基金(BSQD2017043)。
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明...
关键词：定理证明 证明助手 消解 自然演绎 类型化的λ演算 编程逻辑 求精 
λ演算中的第二不动点定理
《软件学报》1996年第A00期381-384,共4页宋方敏 
作者研究λ演算中第二不动点的性质，首先关于第二不动点的３个例题之间的关系且证明了这们，然后为第二不动点组合子给以一个充分条件且作一系列的第二不动点组子，作者还提出和证明了多元第二不点宣。
关键词：Λ演算 第二不动点定理 命题演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部