首页> 中文期刊>湖北文理学院学报 >数学证明方法的逻辑分析

数学证明方法的逻辑分析

开具论文收录证明 >>

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

页面导航

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

摘要

文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析,为正确简便地运用数学证明方法提供了理论依据.

著录项

来源
《湖北文理学院学报》|2002年第5期|26-29|共4页
作者
魏跃春;
展开▼
作者单位

襄樊学院,数学系,湖北,襄樊,441053;

展开▼
原文格式 PDF
正文语种 chi
中图分类应用数理逻辑;
关键词
命题; 证法; 数理逻辑;

相似文献

中文文献
外文文献
专利

1. 基于"数学活动"的初中数学教学策略研究——以"探索勾股定理的证明方法"教学为例 [J] . 李小侠 . 中学数学 . 2020,第024期
2. 基于“数学活动”的初中数学教学策略研究——以“探索勾股定理的证明方法”教学为例 [J] . 李小侠 . 中学数学（初中版） . 2020,第012期
3. 大学生数学竞赛中中值定理的证明方法及技巧 [J] . 刘波 ,刘晓燕 ,李文彬 . 职业教育（汉斯） . 2021,第003期
4. 高等数学中不等式的证明方法 [J] . 张友梅 . 玉溪师范学院学报 . 2021,第003期
5. 浅谈不等式的证明方法在中学数学中的运用 [J] . 徐春轩 . 读与写（教师） . 2020,第005期
6. 离散数学中集合论部分证明方法的教学思考 [C] . 乐天 ,张威 . 浙江省高校计算机教学研究会2016学术年会 . 2016
7. 基于上下文感知的定理自动化证明方法研究 [A] . 程传虎 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号