论文部分内容阅读
论述数学证明与制约推理的关系。指出重言式不是推理式，制约逻辑是从已知进入未知的推理论证工具。
数学证明与制约推理
【摘 要】
：
论述数学证明与制约推理的关系。指出重言式不是推理式，制约逻辑是从已知进入未知的推理论证工具。
【出 处】
：
安顺师范高等专科学校学报
【发表日期】
：
2000年2期
其他文献
由面积原理推导出的张角公式在平面几何中有着极其广泛的应用。本文仅就其在证明三点共线和三线共点中的应用,例举两个著名定理说明如下,供教学参考。
通过九溪的历史形成过程，将九溪的宗族与中国农村传统的宗族进行比较，从发生学及历史变迁的视角说明九溪宗族特点及其与传统宗族的不同。并对其进行深层次的原因分析。
借助首次积分,给出几类变系数线性及非线性常微分方程组的通积分的公式,获得的公式是对有关文献结果的推广。
面对社会发展和教育的改革,数学教育必须面向未来,更新教育观树立新的教育理念转变教学方法,以学生为中心,激发学生学习兴趣,引导学生主动参与积极探究,实现数学能力的提高,
内蒙古自治区高校档案分会（以下简称“分会”）成立于2002年10月，隶属于内蒙古自治区档案学会，它的成立标志着自治区高校档案工作进入了一个新的发展阶段。它不仅是我区各大中专院
在《初等数论》“剩余类及剩余系”教学中，通过分析“剩余类及剩余系”思想产生的原因、理论依据及其基本思想方法，从而认识规律安排教学内容为学生提供完整的知识系统，让学生从
大卫·海恩斯和大卫·斯卓菲尔德是英国《数字化档案工作组》的特约作者，他们正共同致力于一项研究：谁将负责数字化档案的长期保管工作。在大量的调查研究过程中，作者与
1933年2日，日本侵略军从开鲁县向赤峰的林西县进犯，在蒋介石“不抵抗政策”的影响下，东北军驻林西的崔兴武旅投降，石文华旅逃离，县长邱振中弃职逃离，日军长驱直入。3月6日，近百名日