数学证明中的推理问题

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

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

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

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

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

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

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

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

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

几类矩阵的研究及其应用

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

论缔约过失责任的赔偿范围

赔偿范围问题在缔约过失责任理论中一直颇有争议。本文基于缔约过失责任概念的基本界定,认为缔约过失责任损害赔偿的基本范围为信赖利益的损失。相应地,为契合缔约过失责任理论的创立初衷和平衡当事人的利益,信赖利益的赔偿范围应包括了间接利益、非财产上损失以及第三人等损失,但应以履行利益为限。     

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

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

费耶阿本德的相对主义和不可通约

费耶阿本德所讨论的相对主义已经与传统的相对主义有很大的不同,他对相对主义的诠释在本质上是与他的不可通约的观点一致的。费耶阿本德的相对主义和不可通约超越了客观主义与相对主义的绝对对立,同时也是后现代思想的源泉。费耶阿本德的思想也是倡导一种文化多元论,对于反对文化霸权主义、发展我们的民族文化具有重要的实践意义。     

能源产业循环型经济战略的工业生态学分析

在经济快速发展和人口迅速增长的条件下,人们对由于自然资源尤其是非再生能源的开发利用而引发的对环境的影响问题日益关注。建立一个以工业生态学原则为基础的循环型经济,对依赖资源消耗快速增长的发展中国家来说极其必要和紧迫。本文在前人工业生态学和循环经济思想的基础上,对非再生能源的利用在促进区域经济增长的同时成为破坏环境和生态平衡根源的问题进行了分析,并在工业生态学原则的指导下提出了能源产业发展循环型经济的战略措施,同时认为战略的实施要靠社会成员共同承担。