期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

数学推理(续完)

下载PDF

导出

摘要 §4.逻辑推理定理是可证为真的数学断语,证明是确立定理真确性的推断.仅当定理的证明确能被构出,该断语的真确性照例才为数学家所公认.数学家向来关心证明的构成问题.他们的研究归结为形式数学体系的概念.在这种体系中,公理、定理及证明的记号都有精确的定义.理想地说。

作者李梧生林诗宏

出处《韩山师专学报》 1983年第1期28-51,共24页

关键词数学推理构造法赋值语句命题形式构造性全域程序段推理法程序正确性程序错误

分类号 O1 [理学—基础数学]

引文网络
相关文献

1姚小琴.极值推理法在物理教学中的应用[J].物理教师（初中版）,2010(7):40-41.
2廖祖纬.模糊控制的实践与认识──介绍简易推理法[J].计算机仿真,1997,14(3):16-17.
3郑良俊.推广不等式的几个方法[J].湖北职业技术学院学报,1994(0):45-50.
4李欣年.研究初中物理“推理法”提升思维水平[J].数理化解题研究（初中版）,2015(11):64-64.
5孙涌泉.关于丢番图方程y^2=a^2(bx+c)~4+dx^2+ex+f[J].高师理科学刊,2000,20(3):11-12.
6苏安良.物理选择题巧析十法[J].数理化学习,2015(9):32-33.
7查代然.解析“等效法”和“转换法”[J].数理化学习,2015(10):36-36. 被引量：1
8傅育熙.类型理论原理[J].软件学报,1997,8(A00):457-465. 被引量：1
9杨琴.一个断语的推广及应用[J].大学数学,2009,25(3):193-194.
10杨琴.一个断语的推广及应用[J].景德镇高专学报,2008,23(2):24-24.

韩山师专学报

1983年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部