数学证明中的推理问题

演绎推理和非演绎推理经常被运用到数学证明中。二者的共同之处在于:都是从前提推出结论、从已知达于未知;非演绎推理除归纳法之外,与演绎推理一样,只要前提都真,结论必真。不同之处在于:演绎推理从前提到结论之间的推理是逻辑推理,而非演绎推理的推理过程则是根据具体问题进行具体分析;演绎推理的前提与结论之间的关系必然能被数理逻辑的逻辑演算中的形式定理所反映,非演绎推理的前提与结论间的关系则不能;演绎推理对应着一个演绎推理规则,非演绎推理则无对应的推理规则。     

运用非线性规划改进估算两大部类产品价值构成

两大部类及其产品的价值构成,是进行经济理论和现实问题研究的基础内容。用投入产出表估算两大部类的价值构成,是一种基本方法。目前普遍使用的估算方法,由于隐含使用的假定不符合现实情况,得出估算结果往往出现偏差。文章针对这一缺陷,提出运用非线性规划方法,改进估算两大部类产品价值构成的结果,并对此作了实例验证。     

理工农医类大学设立人文社科类课程的重要意义

针对理工农医类大学在学生素质教育和创新能力培养中亟需解决的问题 ,分析论述了加强对学生人文社会科学教育的重要意义 ,提出了通过两课教学和设置辅修专业等措施来实现对学生加强人文社会科学教育的目的。     

密度分布非均匀的反馈控制Logistic单种群模型平衡态的稳定性

本文对种群密度在非均匀分布情形下,考虑了具反馈控制的滞后 Logistic 生态模型平衡位置的稳定性;分别给出了在常时滞和弱连续时滞以及强连续时滞情况下的稳定性条件;其结果是对 Gopalsamy 在密度均匀分布情形下相应结果的推广.     

试论公众参与法在非自愿移民安置中的应

讨论了公众参与法的内涵、特点和作用 ,以及公众参与法在非自愿移民项目的不同阶段宜采用的不同方法 ,并进一步阐述了如何在非自愿移民安置中增强公众参与的效率。     

几类矩阵的研究及其应用

对几类矩阵进行了刻划；对于非负阵谱半径的一个重要性质￣［１］，给出了新的简单证明；作为应用，得到有重要实际意义的某些类矩阵之逆的谱半径的界的估计。     

基于重要密度的非高斯状态空间模型的线性化

本文对系统矩阵随时间变化的非中心化状态空间模型,利用其近似模型的重要密度导出了线性化的一般方法,并对三美观察扰动和状态扰动有着不同分布的非高斯模型给出了具体线性化的模型结构.     

浅谈物体运动的机械能守恒定律及守恒条件

本文从两方面来分析讨论机械能守恒定律及其守恒条件,并且针对大学物理《力学》中的机械能守恒定律的守恒条件提出质疑,通过举实例提出了修改方案。导出了在惯性系和非惯性系的机械能守恒定律的守恒条件。     

教育的人类学视角

人类学应用于教育领域为教育的研究方法和对人的本质的认识提供了新的视角.人类学认为人的本质是非专门化、非完成性的.因此,人具有教育需要性,人具有可教育性和可塑性,在教育中应发挥人的自主性和创造性,设立安全舒适的教育气氛.     

关于分次拟正则环的性质

将分次正则环的概念推广到分次拟正则环上，研究了分次拟正则环的若干重要性质，并给出了分次拟正则环成为分次正则环的条件。