首页> 中文期刊> 《浙江师大学报：自然科学版》 >归纳证明的规范变换方法

归纳证明的规范变换方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

给出了一般等式规范有序类等式规范的变换方法，以及在有序类等式规范上的主要结论，在此基础上，又给出了有序规范上的一个归纳证明方法，这一方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏ－

著录项

来源
《浙江师大学报：自然科学版》 |1998年第2期|71-75|共5页
作者
钟发荣; 朱根良;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 O1－39;
关键词
多类等式规范; 归纳证明; 计算机; 规范变换;

相似文献

中文文献
外文文献
专利

1. 归纳证明的规范变换实现 [J] . 钟发荣 ,金健舟 . 浙江师大学报：自然科学版 . 1997,第004期
2. 归纳、猜想与数学归纳法的证明 [J] . 马晓东 ,李淑娟 . 科技资讯 . 2014,第001期
3. 数理逻辑中的归纳定义和归纳证明 [J] . 孙明湘 ,沈旭明 . 中南大学学报（社会科学版） . 2004,第001期
4. 勤观察善归纳严证明--“数列中的推理与证明”教学实录与反思 [J] . 周永峰 . 中学数学月刊 . 2014,第006期
5. “直接证明与间接证明、数学归纳法”自测题B卷 [J] . . 新高考：高二数学 . 2012,第3期
6. 二叉树(BT)性质n0=n2+的归纳证明与其几何形象证明 [C] . Cai Anshi ,蔡安石 . 第17届全国计算机新科技与计算机教育学术大会 . 2006
7. 数学归纳法在不等式证明中的一些应用 [A] . 石萌萌 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号