论文部分内容阅读
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
命题逻辑推理的一个代数化证明方法
【摘 要】
：
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
【机 构】
：
哈尔滨学院数学与计算机学院哈尔滨150086
【出 处】
：
全国第十五届离散数学学术研讨会
【发表日期】
：
2010年8期
其他文献
在记录值样本下，讨论了指数模型在平衡损失函数下的可靠性指标的经验Bayes估计问题。分别在平衡均方损失和Linex损失下得到了可靠性指标的Bayes估计，利用ML-II方法获得了相应指
会议
设(X，d)为紧致度量空问，F={fk}∞k=1为X上的连续映射序列。
设x0∈X，定义×1=f1(x0)，x2=f2(×1),…,xn+1=fn+1(xn)，…，n=0,1，2，…,则称(X，F)为广义离散动力系统。介绍了几个新定义
为探讨米非司酮配伍前列腺素终止早孕的最小有效剂量及服用方法,我院对180例妊娠35～49天的健康妇女,按服药天数的不同分为两组:对照组服用米非司酮25mg一日二次,连服三天,第四
宫内节育器（ＩＵＤ）是一种安全、简便、有效的避孕工具之一，易被我国广大育龄妇女所接受。为了解停用ＩＵＤ的主要原因，提高其放环率，本人将１９９０年３月至１９９７年３月取环２８２例进行回顾性分析。１资料与方法 妇科
对微处理器仿真系统模型与仿真方法进行了探讨，对软件仿真进行了形式化定义，从指令仿真平均消耗时间上对不同软件仿真方法进行了比较。仿真模型和方法的分析对仿真系统软件体系
阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能，建立了分析双绞线电气性能参数的关系矩阵，阐述了在综合布线工程建设之初，准确预估出所设计的网络传榆介
会议