高等学校文科数学教学改革与实践

本文结合南京工业大学十多年来文科数学课程的教学实践,围绕大学文科专业开设数学课程的必要性和重要性以及文科数学的课程体系、教学内容、教学方法、教学手段等方面,作了初步的探讨和研究。     

Program generic set:semantics of medium logic program described by forcing

The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved.     

高等数学教学改革的探索与实践

本文从师资队伍、教学内容、教学方法、教学建设、教学手段、考试考核等方面介绍了我校高等数学课程教学改革和建设所采取的措施及所取得的成果。     

模态逻辑S5的表推演系统TS5

进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。     

偏序关系图在课程设置中的应用

高等学校是我国培养各种人才的主要基地。随着社会的不断发展,社会越来越需要复合型人才,高校教务部门越来越感觉到课程的设置难以管理。根据大学课程学习的一般规律,提出了一种计算机辅助设计课程学期设置的方法,即平行拓扑排序方法:首先将课程视为顶点,将课程之间的内在联系关系视为偏序关系,得到课程之间的偏序关系图;然后将该方法应用在该偏序关系图上得到了课程设置的先后关系;根据对学生和专家调查问卷得到了一些课程设置的原则,优化了课程的学期设置,方便了教学,有利于学生学习和教务部门的管理。     

高层建筑防烟空气幕的数学模型及数值解

高效的防烟装置应具有绝对隔烟、人员能自由出入隔烟场所及不影响视野等功能，而防烟空气幕可以说是一种最有效的手段。本文在前人研究的基础上，通过对烟气流动的机理分析，用理论的方法建立流场，用数学手段推导出计算空气幕的方法     

双级溴化锂制冷循环中间压力的计算机模拟

通过分析中间压力对双级溴化锂制冷循环热力系数的影响，提出了最佳中间压力的计算方法。这样可简化和优化双级溴化锂制冷循环的热力计算，使其获得最高热力系数，并为运行操作提供一个中间压力的参考值。