论文部分内容阅读
该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法．在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法、语义分析实现了命题公式的代数化．此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法．
吴方法在命题逻辑中的应用
【摘 要】
：
该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法．在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法、语义分
【机 构】
：
华东师范大学计算机系
【出 处】
：
华东师范大学学报(自然科学版)
【发表日期】
：
2006年1期
其他文献
大学英语教学大纲中对英语写作提出要求:基础阶段和提高阶段。其中提高阶段要求学生能在30分钟内写出150个词(包括所给主题句)的短文。文章要求表达思想清楚,文字通顺,连贯性
经济增长方式由粗放经营向集约经营转变,在实质上是要把经济增长建立在经济效益不断提高的基础上。提高经济效益就在于“用尽量少的价值创造尽量丰富的财富”。“用尽量少的
针对传统的自适应特征值分解（AEDA）的延估计算法收敛时间慢的问题，提出一种改进的AEDA自适应算法，该方法将归一化最小均方法与AEDA相结合，加快了收敛速度，使其可应用于信号的实时处
针对目前国内外匝道连接段通行能力计算以关国HCM为主的现状和不足，研究发现城市快速路入口匝道连接段车头时距服从Weibull分布规律，利用改进的Drew方法及实际现场调查交通流数
实施拥挤收费最大的障碍来自人们对城市道路资源配置公平性的质疑，论文定量分析了拥挤收费对城市道路资源配置公平性的具体影响．在剖析城市道路资源特性的基础上，分析了城市道路
对Chan-Vese提出的基于Mumford-Shah模型的多水平集图像分割算法作了改进.首先,使用AOS算法改进了原模型的差分格式,使得差分格式无条件稳定.其次,在水平集的构造中应用了快速推进法的改进算法,减少了水平集初始化时计算的点数和重复次数.
针对具有模糊因数的多目标交通问题，提出了一种优先模糊目标规划方法．本文首先建立了模糊目标的隶属度函数，其次，将隶属度函数的最大值作为期望基准并引入了偏差变量，从而将隶属度
北京交通大学交通运输学院城市轨道交通系成立学术研讨会于2009年6月11日举行，以中国交通运输协会副会长、中国交通运输协会城市轨道交通专业委员会名誉主任焦桐善为首，包括秦