曲线在运动下的不变性质与不变量

系统地讨论了曲线在运动下的主要不变性质与不变量 ,并借助于矩阵和矢量给出了其简要的证明。着重证明了曲率和挠率为运动不变量 ,尤其对基本三棱形的讨论 ,为以后的曲面论打下了基础     

自然推理系统P中的P∧Q■P

逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰好表现了信息量减少这一特征.因此,一切推理规则均以P∧Q■P为基础.     

公路绿化工程初探

随着经济建设不断发展,对公路质量的要求越来越高,现代道路建设改变了以前只注重安全、高效、便捷的模式而是更加注重环境保护和社会效益。     

一阶逻辑推理系统F下量词的性质及运算规律

量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.     

第四调和元素唯一性确定原理

在第四调和元素的确定过程中,任意元素的用法是不影响第四调和元素的唯一性的.对此本文用解析方法及几何方法分别给出了详细论证.     

非退化二次曲线自共轭极线与极点的射影确定

用射影几何的理论,抛开度量性质,给出了非退化二次曲线自共轭的极线与极点的射影定位,为现代设计提供了理论依据.