首页> 中文期刊> 《逻辑学研究》 >用波动方法证明元函数的正确性定理

用波动方法证明元函数的正确性定理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

以计算逻辑为理论基础，采用波动方法证明了计算逻辑中的一个重要定理——元函数的正确性定理．

著录项

来源
《逻辑学研究》 |1996年第6期|P.66-71|共6页
作者
印鉴; 汤庸;
展开▼
作者单位

[1]中山大学计算机科学系;

[2]广东工业大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类高等教育;
关键词
计算逻辑; 波动; 元函数;

相似文献

中文文献
外文文献
专利

1. 隐函数存在定理及隐函数组定理的一个证明方法 [J] . 江秉华 . 湖北师范学院学报（自然科学版） . 2005,第001期
2. 增函数定理证明方法探讨及定理的应用 [J] . 葛玉凤 . 泰山学院学报 . 1999,第003期
3. 用三元相图证明累积法计量高温高压下凝析油量方法的正确性：与… [J] . 裴柏林 ,孔祥言 . 石油勘探与开发 . 1995,第005期
4. 关于二元函数极值存在的充分性定理证明商榷 [J] . 陈兰 . 青海大学学报（自然科学版） . 2003,第003期
5. 二元函数可微性定理的一个新的证明 [J] . 高敏艳 . 天津师范大学学报（自然科学版） . 1999,第003期
6. 对称区域上奇偶函数重积分定理的简单证明 [C] . ZHANG TaiZhong ,张太忠 ,SONG Biao . 2013大学数学教育国际论坛 . 2013
7. 基于定理证明的内存安全性动态检测算法的正确性研究 [A] . 孙小祥 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号