数学证明中的推理问题

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

多平台CAI课件的开发技术

简要介绍了多媒体CAI课件的开发工具,阐述了基于多平台开发CAI课件的方法,针对微机测控技术、现代仪表技术、电工技术等不同的授课内容,选择不同的CAI开发平台,文章介绍了POWERPOINT中嵌入PSPICE仿真工具、用FLASH进行课堂演示实验的经验,并以POWERPOINT为例,说明了多平台开发CAI课件的具体应用.     

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

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

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

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

晶体二极管伏安特性曲线的计算机拟合

晶体二极管伏安特性的理论表式I=I,(e~(U/U_T)-1)的参数I.和1/U_T,可用直线拟合的方法求出。本文通过证明,并用计算机程序得出两种晶体二极管伏安特性的拟合曲线与实验值符合得比较好。     

圆锥轴受扭时静、动力的传递矩阵法求解

本文提出了圆锥轴受扭时静、动力的传递矩阵。该方法简便实用,适于工程技术人员在微机上应用。     

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

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

模糊综合评判方法及其在计算机上的实现

学校办学水平的评估问题是教育管理中一个急待解决的课题。笔者对此进行了深入的研讨和反复的实践,编制了办学水平模糊综合评判软件包。本文阐述了模糊综合评判的一般数学模型,分析了办学水平评价的计算方法和步骤,并介绍了综合评判软件包的功能特点,软硬环境,系统设计和使用效益等。     

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

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