正项级数问题中的两个新命题

给出并证明了两个有关正项级数敛散性的命题，从而分别比较了正项级数的两组敛散性判别法之间的强弱关系。     

极大独立集的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.     

试论"天命"

基于冯友兰先生在《新原道》中对"天命"概念的两种不同的阐释,按两种思路研究"天命".第一种阐释为:"所谓天命,可解释为人所遭遇的宇宙间的事变,在人力极限之外,为人力所无可奈何者."由此通过论证知:"天命"是在生命历程完成或基本完成后,才被认识的,这是属于认识"天命"的真理.第二种阐释为:"……所谓天命亦可解释为上帝的命令."由此通过论证得到两个结论和一个疑问,并且可看到疑问之重要性甚于结论.     

高校图书馆利用Internet信息资源的方法与对策

介绍了Internet信息资源的类型及特征 ,探讨了高校图书馆开发利用Internet信息资源所面临的问题和发挥其优势的对策。     

三清山裸子植物区系及重点保护物种

三清山裸子植物调查 发现8科22属24种,通过区系分析概括出4个基本特征,同时阐述了裸子植物的分布,今后引种栽培种的选择和目前重点保护物种。     

关于高等代数中命题的反例研究

反例在高等代数命题研究中有着独特的作用,然而,在高等代数教学及理论研究中,人们往往忽视了反例的效用。通过综合论述高等代数中命题的反例,对高等代数中若干命题通过消弱命题条件或变换命题条件和结论进行研究,得出了关于向量组、矩阵、线性变换、多项式等方面的命题的反例,深入探讨了关于多项式的不可约性、子空间的直和判定及矩阵相似性三方面的命题,从而深化了对原命题的理解和认识。高等代数中命题的反例研究有利于提高批判性思维和创造性思维能力,有利于提高对命题的深层次理解,对于高等代数教学及理论研究均有一定的指导意义。     

山西地方煤炭质管现状及“十五”总体构想

阐述了山西省地方煤炭质管工作的重要性及现状,提出了“十五”期间山西地方煤质工作的总体构想及实现这一构想的主要措施。     

Desargues逆命题证明的射影几何学方法

藉助射影几何的理论,通过将直线投影到无穷远,将两相交直线投影成两平行直线及任意四边形投影成平行四边形。首先给出Desargues逆命题在平面域内的证明,然后用射影几何方法构造了一个辅助三点形,利用Desargues定理证得了两异面三点形对应边的交点共线,再用如上所述平面域内所得的结论证得了两同面三点形对应顶点的连线共点。最终得到了该逆命题在空间域内的证明。     

论高校人力资源的合理开发与科学管理

21世纪是知识经济的时代，随着我国市场体制的逐步建立和教育产业化策略的实施，如何对高校进行人力资源的合理开发和科学有效的管理，势必成为高校发展的一个大课题。本文从高校人力资源的现状及特点，剖析它的内在规律，提出进行合理开发和有效管理的一些途径。