数学证明中的推理问题

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

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

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

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

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

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

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

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

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

几类矩阵的研究及其应用

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

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

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

损害老年人认知功能的因素

80岁的曹老,退休前是高级工程师,近来记忆力明显下降,甚至记不住自己的年龄、家住何处。可是体检时,他的血压、血脂、血糖均正常,脑CT检查亦未发现器质性病变。是什么原因损害了他的记忆功能?经详细询问病史,医生得知,两年前他老伴去世,精神上受到很大打击,由此他变得情绪低落,很少出门跟别人接触,成天呆在家里,有子女照顾,不知道自己要干什么。原来,曹老是由于生活环境的不良变化导致认知能力严重下降。记忆是认知功能的一部分。认知包括感觉和知觉、记忆、思维、注意。一般随着年龄的增加,认知功能会有所衰退。尤其是患有高血压、高血脂…     

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

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