化简命题演算一例   总被引：1，自引：1，他引：0  

宿维军 《甘肃高师学报》2000,5(2):83-85

利用命题演算可以解决一类逻辑推理问题,但就在命题演算过程中,常会遇到一些困 难,本文通过典型例子说明利用逻辑方程求解技巧可避免这些困难,而使问题更容易解决．  相似文献   

下料问题最优化方法研究     

宿维军 《甘肃高师学报》2005,10(5):6-8

在生产实践中通常要求解决用料最省、浪费最少等问题.下料问题即是其一,属最优化研究范畴.给出了解决适当规模下料问题的求解方法.该方法既可手工演算又可通过计算机求解,在实践中可以借鉴使用.  相似文献   

新建民族本科院校数学与应用数学专业教师的理性思考     

宿维军 《甘肃高师学报》2010,15(5):67-71

伴随着国家改革开放和现代化建设的步伐,我国民族高等教育事业蓬勃发展,取得了令世人瞩目的辉煌业绩.民族院校在其50余年的办学实践中形成了自己的办学特色,是我国高等教育体系中特殊的、不可或缺的重要组成部分.培养适合少数民族和民族地区社会经济又好又快发展,实现各民族团结奋斗、共同繁荣发展的各专业人才,进一步办好人民满意的民族院校是新建民族本科院校的头等大事.从一名新建民族本科院校数学与应用数学专业教师的角度,谈如何进一步转变教育教学观念,加强自身建设,把握民族地区社会经济发展的脉搏,为学校发展和民族地区人才培养贡献自己的力量.  相似文献   

课表问题的交通流模型     

宿维军 《甘肃高师学报》2002,7(2):15-17

课表问题的数学模型通常是构造二分图G(V ,E) ,问题化为求图的边色数x′(G) .但对于一般图而言 ,求图的边色数问题尚无有效算法 .给出课表问题的一个交通流模型 ,并验证了一个适当规模的例子 .  相似文献   

Excellent扩张环上Gorenstein内射模的性质     

宿维军 《甘肃高师学报》2007,12(5):11-12

在Excellent扩张环上对Gorenstein内射模在两个环上的性质进行了比较,给出结论:若环S是R的Excellent扩张,则sM∈G-InjRM∈G-Inj,且GidsM=GidRM.  相似文献