导读:本文包含了主范式论文开题报告文献综述及选题提纲参考文献，主要关键词:主范式,命题公式,命题变项,主合取范式
主范式论文文献综述
白昊月[1]（2019）在《主范式及其应用》一文中研究指出本文介绍了命题公式主范式的基本定义及相关定理,并对其作出了相应解释,探讨了命题公式主范式的求法:等值演算法,以及它的用途,最后给出了主范式的应用,并联系实际对这些应用加以阐述.1主范式可分为主析取范式与主合取范式。主析取范式是所有简单合取式都是极小项的析取范式,主合取范式是所有简单析取式都是极大项的合取范式.其中,命题变项及其否定统称为文字,仅由有限个文字构成的析取式称作简单析取式,仅由有限个文字构成的合取式称作简单合取式.由有限个简单合取式的析取构成的命题公式称作析取范式;由有限个简单析取式的合取构成的命题公式称作合(本文来源于《知识文库》期刊2019年10期）
李凡[2]（2017）在《离散数学课程中主范式求解问题的教学研究》一文中研究指出《离散数学》是我国工科高校教学体系中的核心基础课程之一。其中,命题逻辑部分里利用真值表求解命题公式的主范式又是课程的重点内容之一。目前常见的离散数学教材对该部分的讲解均缺乏原理性的介绍,使得学生理解起来有一定的难度。本文基于命题公式与真值表的等价性,介绍了利用真值表求解命题公式的主范式的原理,为该部分内容教学的深化和系统化提供了较好的参考。(本文来源于《课程教育研究》期刊2017年17期）
黄忠铣,周榕[3]（2016）在《主范式的求解及其应用》一文中研究指出数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法及构造树法等;并且论述主范式在命题公式中的若干作用。(本文来源于《武夷学院学报》期刊2016年03期）
张亚江[4]（2014）在《数理逻辑中主范式的存在性》一文中研究指出数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从归纳于逻辑联结词的个数和归纳于命题的个数两个方面,给出了析取范式与合取范式的存在性证明.(本文来源于《高师理科学刊》期刊2014年06期）
胡纪华[5]（2013）在《几类主范式在命题推理正确性判断中的应用》一文中研究指出在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。(本文来源于《安康学院学报》期刊2013年03期）
胡纪华[6]（2011）在《主范式在推理有效性判断中的应用》一文中研究指出给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.(本文来源于《安康学院学报》期刊2011年03期）
吕诚,孙秀华,吕敏[7]（2011）在《主范式的计算方法及其在命题公式中的作用》一文中研究指出针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。(本文来源于《宜春学院学报》期刊2011年04期）
任祖云[8]（2009）在《命题公式之主范式的DNA算法》一文中研究指出离散数学是数学的一个分支,离散数学中有诸多的NP—完全问题。例如:求主范式问题,图着色问题,旅行商问题等等。本文根据DNA发夹结构的突出优点,即不需要特殊的生物操作,以及主范式与DNA发夹结构的定义,利用DNA发夹结构模型,求解了离散数学中命题公式的主范式。(本文来源于《科技信息》期刊2009年35期）
亓正坤,王廷明[9]（2009）在《关于主范式的下标集合及其应用》一文中研究指出极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.(本文来源于《青岛理工大学学报》期刊2009年04期）
施泱[10]（2008）在《命题公式主范式的二进制求法》一文中研究指出命题公式主范式在数理逻辑中有重要作用,其方法论也颇具价值。针对解决求主析取范式的传统方法比较繁琐的情况,通过对极小项下标特征的讨论,利用二进制给出了由命题公式的析取范式确定主析范式中的二进制求法,从而简化了由繁杂的命题公式推演或真值表计算求主析取范式的计算过程,给出了求命题公式主析取范式的简便求法——表格法。该法稍做变动后,对求主合析取范式同样适用。(本文来源于《电力学报》期刊2008年03期）
主范式论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
《离散数学》是我国工科高校教学体系中的核心基础课程之一。其中,命题逻辑部分里利用真值表求解命题公式的主范式又是课程的重点内容之一。目前常见的离散数学教材对该部分的讲解均缺乏原理性的介绍,使得学生理解起来有一定的难度。本文基于命题公式与真值表的等价性,介绍了利用真值表求解命题公式的主范式的原理,为该部分内容教学的深化和系统化提供了较好的参考。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
主范式论文参考文献
[1].白昊月.主范式及其应用[J].知识文库.2019
[2].李凡.离散数学课程中主范式求解问题的教学研究[J].课程教育研究.2017
[3].黄忠铣,周榕.主范式的求解及其应用[J].武夷学院学报.2016
[4].张亚江.数理逻辑中主范式的存在性[J].高师理科学刊.2014
[5].胡纪华.几类主范式在命题推理正确性判断中的应用[J].安康学院学报.2013
[6].胡纪华.主范式在推理有效性判断中的应用[J].安康学院学报.2011
[7].吕诚,孙秀华,吕敏.主范式的计算方法及其在命题公式中的作用[J].宜春学院学报.2011
[8].任祖云.命题公式之主范式的DNA算法[J].科技信息.2009
[9].亓正坤,王廷明.关于主范式的下标集合及其应用[J].青岛理工大学学报.2009
[10].施泱.命题公式主范式的二进制求法[J].电力学报.2008