孟令江

作品数:13被引量:4H指数:1
导出分析报告
供职机构:唐山师范学院数学与信息科学系更多>>
发文主题:极线射影交比一阶逻辑法曲率更多>>
发文领域:理学文化科学更多>>
发文期刊:《唐山师范学院学报》《河北大学学报(自然科学版)》《物理通报》《中国市场》更多>>
所获基金:河北省教育厅科研基金河北省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
自然推理系统P中的P∧Q■P
《河北大学学报(自然科学版)》2009年第3期238-240,共3页孟令江 
河北省自然科学基金资助项目
逻辑推理理论是计算机应用人才必备的重要基础理论之一.在自然推理系统P中,推理依据一般建立在包括P∧Q■P规则在内的多条公理式规则基础上.推理规则是不可逆行的单向过程,而在自然推理系统进行中,信息量只能减少,不可能增加.P∧Q■P恰...
关键词:蕴含 推理系统 三段论 P∧Q■P规则 
数理逻辑在物流技术上应用的教学技巧被引量:1
《中国市场》2008年第36期69-70,共2页孟令江 
物流技术在应用中需要离散数学的支持,数理逻辑是离散数学的重要组成部分,对于物流专业的学生来说,这部分内容是生疏的或者说是新奇的。
关键词:数理逻辑 技巧 
二元关系R方幂的范围及性质
《唐山师范学院学报》2008年第5期6-8,共3页孟令江 郝璞玉 
二元关系的方幂有其规律性,利用同幂指数对其规律性进行探讨和研究,得出最小幂集的确定方法。
关键词:二元关系 同幂指数 最小幂集 
二次曲线的射影与度量
《唐山学院学报》2008年第4期7-8,共2页孟令江 
度量几何中圆的切割线之间所确定的数量关系,推广到射影几何里一般二次曲线中,利用调和共轭元素之间的关系,更广泛地确定了极与极线的相互关系,着重介绍了二次曲线的度量性质与射影性质的内在联系。
关键词:射影 度量 极线 调和共轭 
一阶逻辑推理系统F下量词的性质及运算规律被引量:1
《河北大学学报(自然科学版)》2008年第1期18-21,共4页孟令江 
河北省教育厅基金资助项目
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证.
关键词:蕴涵式 解释 逻辑等价 量词 
曲面的基本形式在欧氏变换下的固定性被引量:1
《唐山师范学院学报》2007年第5期61-62,共2页孟令江 
系统论证了曲面的三种基本形式在欧氏变换下不变的性质,从而曲面的基本特征在正交变换下也是固定的。推证了(xA)×(yA)=(x×y)A*T等一些向量的运算的公式。
关键词:基本形式 基本量 法曲率 平均曲率 
第四调和元素唯一性确定原理
《河北大学学报(自然科学版)》2006年第6期577-578,共2页孟令江 
在第四调和元素的确定过程中,任意元素的用法是不影响第四调和元素的唯一性的.对此本文用解析方法及几何方法分别给出了详细论证.
关键词:交比 调和共轭 第四调和点 
非退化二次曲线自共轭极线与极点的射影确定被引量:1
《河北大学学报(自然科学版)》2006年第2期139-141,共3页孟令江 
用射影几何的理论,抛开度量性质,给出了非退化二次曲线自共轭的极线与极点的射影定位,为现代设计提供了理论依据.
关键词: 极线 调和共轭 
二直线夹角的射影度量性质
《唐山师范学院学报》2005年第5期26-27,共2页孟令江 
用射影基本不变量“交比”规定角的度量,会更合理,适应范围更广。利用二次曲线的射影理论讨论了二直线夹角的平分线的确定与性质。
关键词:交比 射影变换 调和共轭 迷向直线 
拓扑空间的仿紧性
《河北软件职业技术学院学报》2001年第2期69-70,77,共3页孟令江 
本文给出了仿紧空间的一系列性质,着重证明了仿紧空间与紧空间的乘积仍为仿紧空间,并举例说明了两个仿紧空间的乘积则不一定是仿紧的。
关键词:HAUSDORFF空间 仿紧空间 覆盖 
检索报告 对象比较 聚类工具 使用帮助 返回顶部