首页> 中文期刊> 《吉林大学学报（理学版）》 >《计算逻辑》中定义原理的修改与重证

《计算逻辑》中定义原理的修改与重证

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

＜正＞一、定义原理及其修改《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归纳法进行机器证明的理论基础。定义原理是该书中一条重要定理。其作用在于判定一个函数定义是否合理,即是否唯一确定了一个函数。原书中的定义原理为:

著录项

来源
《吉林大学学报（理学版）》 |1987年第4期|112-116|共5页
作者
姜云飞;
展开▼
作者单位

吉林大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 测量不确定度基本原理和评定方法及在材料检测中的评定实例第一讲测量不确定度的基本原理和定义 [J] . 王承忠 . 理化检验-物理分册 . 2013 ,第009期
2. 欧盟委员会修改食品信息和标签规则中的纳米定义 [J] . 无 . 纳米科技 . 2013 ,第006期
3. 对SDJ_7-79中修改大档距定义的建议 [J] . 杨云锦 . 煤矿设计 . 1998 ,第4期
4. 信用证修改中应注意的几个问题 [J] . 陈寅 . 对外经贸实务 . 1999 ,第003期
5. 进口信用证中的装期修改不容忽视 [J] . 李天喜 ,刘建平 . 地质技术经济管理 . 1994 ,第002期
6. 市场法基本原理在估价实务中的具体应用——从中美两国房地产估价行业市场法定义的差异说起 [C] . 顾振发 . 2007年“估价专业的地方化与全球化”国际估价论坛 . 2007
7. Toll样受体4和9在重证脓毒症急性肾损伤发生中的作用 [A] . 苏丽 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号