命题公式相关论文
各种近似推理和Fuzzy推理理论的逻辑基础就是各种概率逻辑和模糊逻辑系统，而逻辑系统的核心是联结词的定义。各种概率逻辑、模糊逻......
为了对置信传播(BP)算法在结构比较复杂的命题公式上有时会失效,常常表现为不收敛的现象给予理论解释,提出了基于警示传播的社区发......
怎样培养学生的符号意识,提高学生的数学素养呢?本文结合自己十几年的教学经验,谈几点认识:一、结合概念、命题公式的教学,培养学......
【摘要】在国家教育的新课程改革与发展下，学生由原本的被动接受学习法逐渐转变为积极主动吸收知识的方式。但在小学数学的教学中，一......
系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法。通过建立命题与适当集合之间的对应关系阐述了用文氏......
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
文中提出了一种加权模糊逻辑推理模型，该模型描述了不确定性问题求解领域中比较普遍存在的“加权逻辑与”、“加权逻辑或”和“加权......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
离散数学是计算机科学中基础理论的核心课程。本文研究了关系的计数问题，给出了特殊函数的计数问题，讨论了图论中两个重要的计数公式......
本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有......
本文通过几个具体的典型实例,来了解和分析离散数学中数理逻辑的一个非常重要的解题方法,即真值表法,它是一种非常简便而又非常重......
收敛性是评价信息传播算法性能的重要指标,信息传播算法求解可满足性问题时,命题公式的结构特征影响算法的收敛性,具有复杂结构的......
本文就命题公式合法性的自动判定方法进行阐述,首先给出命题的合式公式的相关概念,其次探讨用计算机自动判定命题公式合法性的方法......
本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种......
对任意一个命题公式Ａ，用三个基本的分解规则可以构造出以Ａ为根的二叉树（称为Ａ的二叉树），籍助于Ａ的二叉树的形式或性质，可以求出Ａ的析取范式及......
离散数学增加实验内容的教学,有利于激发学生学习该课程的积极性和增强学生解决实际问题的能力。结合本科教学实践经验,就离散数学......
我们通过引入拓扑结构给出命题逻辑紧致性定理的拓扑证明,并给出一阶逻辑紧致性定理在拓扑空间中的等价形式。......
本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系....
对命题公式可满足性问题的判别方法进行了深刻的剖析,基于启发式算法,定义命题公式的核心文字,通过改进DPLL算法给出求解SAT问题的......
在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法．并实现了多个命题公式主范式的同时......
在文[1]的基础上．给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式......
众所周知,命题逻辑中主要的研究对象是重言式及永真蕴含式,本文提出了一条一般离散数学书中所忽视的性质,而这条性质恰恰是推理规......
以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定......
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.......
本文主要基于命题公式的多项式表达,将命题逻辑问题转换成多项式方程组的求解问题,将命题逻辑问题中的前提转换成方程组,然后利用......
数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.数理逻辑包括两个最基本的组成部分,就是＂命题逻辑＂和＂一阶谓词逻......
摘要：将命题推理证明转化为多元多次方程组求解的问题。利用吴方法，通过多元多次方程组的特征列，完成命题推理的证明，即结合数理逻辑中......
用n维图形代替布尔公式求解任一命题公式的范式,使抽象的公式变得形象直观,易于接受;给出具体应用,并总结该方法的一般规则,以便于......
目前,部分形式逻辑(又称普通逻辑)教科书在表述形式逻辑基本规律时,力争使其形式化(符号化)。无疑,数理逻辑一些方法的引进,使形式......
命题 已知函数y—sh”acos”a(m、,.EN,OM.M =),当tta一’/一时,,,.x一’/==.z::i=.证明”.”,n、i;e N,0【a【于,””-””””—......
在已知主合(析)取范式时,通过证明,给出求主析(合)取范式的方法:求(1)G(-P1, -P2,…,-Pn);(2)G·(-P1,-P2,…,-Pn);(3)-G·......
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取......
任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元......
在传统逻辑中，一个必然正确的推理，必须具备两个条件：前提真实和形式有效。前提真实就是内容真，形式有效就是形式真。所以说，内容真假和......
本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专......
本文以公式真度概念为基础，给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法，讨论了在基本逻辑运算下理论的有效......
本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们......
通过对命题逻辑的教学研究，总结出了“三抓，破一”的教学方法，并取得了良好的教学效果。......
本文主要阐述了卡诺图法在《离散数学》教学中的几个具体应用,诸如如何利用卡诺图表示或化简命题公式、求解公式的主析（合）取范式、......
命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价......
在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理。用有理数域上的多项式组替代命题公式,......
