导读:本文包含了四值逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:多值逻辑,最小覆盖,Sheffer函数
四值逻辑论文文献综述
龚志伟,刘任任[1]（2012）在《部分四值逻辑中准完备集的最小覆盖》一文中研究指出根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。(本文来源于《计算机工程与应用》期刊2012年23期）
龚志伟,刘任任[2]（2011）在《部分四值逻辑中保二元正则可离关系非最小覆盖的剔除》一文中研究指出为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。(本文来源于《计算技术与自动化》期刊2011年03期）
金辉霞,何骞[3]（2011）在《部分四值逻辑中Sheffer函数的判定》一文中研究指出多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。(本文来源于《计算机工程与应用》期刊2011年29期）
刘任任,王婷,谭昊勋[4]（2010）在《部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定》一文中研究指出根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。(本文来源于《计算机科学》期刊2010年11期）
朱玲芳[5]（2010）在《部分四值逻辑中Sheffer函数的判定与构造》一文中研究指出多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等叁个方面。多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主要包括多值逻辑函数的完备性理论、函数表示理论以及单向陷门函数,其中一个基本且重要的问题是多值逻辑函数集的完备性判定,在多值逻辑网络以及自动机理论中,这也是一个必须解决的问题。此问题的解决与多值逻辑函数集中准完备集(又称极大封闭集)的确定密切相关。多值逻辑中Sheffer函数的判定与构造是多值逻辑完备性理论中的又一个重要问题,该问题归结为找出全部准完备集的最小覆盖。对于完全多值逻辑中Sheffer函数的判定问题,已于20世纪70年代完全解决;对于部分多值逻辑中Sheffer函数的判定问题,由于准完备集的最小覆盖问题还没有完全解决而尚未彻底解决。本文较深入地研究了部分四值逻辑中Sheffer函数的判定和构造问题。根据部分四值逻辑中准完备集的最小覆盖,分别给出了判定和构造部分四值逻辑中Sheffer函数的算法。该算法可判定任意一个部分四值逻辑函数是否为Sheffer函数,此外,还能构造出所有部分四值逻辑Sheffer函数。为解决部分K(>4)值逻辑中Sheffer函数的判定和构造问题提供了有益的经验。(本文来源于《湘潭大学》期刊2010-04-01）
顾思思,陈玮[6]（2009）在《部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员》一文中研究指出根据部分K值逻辑的完备性理论,定出并证明了属于准完备集最小覆盖的保四元单纯可离关系函数集.(本文来源于《邵阳学院学报(自然科学版)》期刊2009年01期）
刘任任[7]（2008）在《部分四值逻辑中Sheffer函数的判定与构造》一文中研究指出根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。(本文来源于《计算机工程与科学》期刊2008年11期）
龚志伟,刘任任,王日中[8]（2007）在《部分四值逻辑中保二元正则可离关系最小覆盖之确定》一文中研究指出根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员。(本文来源于《计算技术与自动化》期刊2007年04期）
顾思思[9]（2007）在《部分四值逻辑中保叁、四元单纯可离关系函数集最小覆盖之确定》一文中研究指出多值逻辑是指一切逻辑值的取值数大于2的逻辑。多值逻辑可以更好地解决用二值逻辑不易解决的问题,因此有着广阔的发展前景。多值逻辑的研究主要包括理论、电路与系统、应用等叁个方面的内容。其中多值逻辑函数的完备性理论是多值逻辑理论研究中的一个重要的研究课题。在部分多值逻辑完备性理论中,函数系完备性之判定与Sheffer函数的判定构造是两个基本而重要的问题,前者问题的解决依赖于定出部分多值逻辑函数集中的所有准完备集(极大封闭集),而后者问题的解决归结为定出所有准完备集的最小覆盖。本文主要讨论了部分四值逻辑中准完备集之最小覆盖的判定问题。重点研究了保单纯可离关系的准完备集。论文共分五章,第一章是绪论,主要介绍了本课题的学术背景,国内外学者的研究情况介绍以及课题的主要研究内容。在第二章中,介绍了部分多值逻辑的完备性理论,包括基本概念和基本定理,其中重点描述了保单纯可离关系的准完备集和完备性定理等。在第叁章中,总结出一个适合一般情况的剔除定理,同时利用相似关系的性质剔除了90个保叁、四元单纯可离函数集中的26类共58个在最小覆盖中必不出现的准完备集。在第四章中,证明了第叁章中未剔除的16类32个保叁、四元的单纯可离函数集必在最小覆盖中出现,从而定出了部分四值逻辑准完备集之最小覆盖中所有保叁、四元单纯可离关系的成员。在第五章中,根据前面所做工作构造了部分四值逻辑中的部分Sheffer函数。(本文来源于《湘潭大学》期刊2007-05-01）
周小强[10]（2007）在《部分四值逻辑中保叁、四元正则可离关系函数集最小覆盖之判定》一文中研究指出多值逻辑是计算机科学中的一个重要分支。随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展,其研究主要包括理论、电路与系统、应用叁个方面的内容。多值逻辑函数的完备性理论是多值逻辑理论研究中的一个重要的研究课题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集(又称极大封闭集)。Sheffer函数的判定是又多值逻辑完备性理论中的一个重要问题,此问题的解决可归结为定出所有准完备集的最小覆盖。完全多值逻辑函数中Sheffer函数的判定已由Schofield和Kudrjavcev等完全解决。但部分多值逻辑函数中Sheffer函数的判定尚未彻底解决。本论文主要讨论了部分四值逻辑中准完备集之最小覆盖的判定问题。重点研究了P4 *中保叁、四元正则可离关系函数集之最小覆盖的判定。本论文共分五章。在第一章中,主要介绍了本研究课题的学术背景、来源和主要的研究内容。在第二章中,概述了多值逻辑函数结构理论。首先介绍了完全多值逻辑函数结构理论中的基本概念和重要研究成果,然后介绍了部分K值逻辑函数集中的准完备集以及sheffer函数的判定问题。最后总结了部分多值逻辑函数集中最小覆盖成员判定已经取得的成果。在第叁章中,根据相似关系的性质,剔除了10类共84个在最小覆盖中必不出现的保叁元正则可离关系准完备集,并证明了未被剔除的8类共36个准完备集在最小覆盖中必出现。在第四章中,剔除了29类共67个在最小覆盖中必不出现的保四元正则可离关系准完备集,并证明了未被剔除的22类共42个准完备集在最小覆盖中必出现,从而定出了部分四值逻辑中所有保正则可离关系函数集的最小覆盖成员。在第五章中,构造了部分P4 *中的Sheffer函数。(本文来源于《湘潭大学》期刊2007-05-01）
四值逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
四值逻辑论文参考文献
[1].龚志伟,刘任任.部分四值逻辑中准完备集的最小覆盖[J].计算机工程与应用.2012
[2].龚志伟,刘任任.部分四值逻辑中保二元正则可离关系非最小覆盖的剔除[J].计算技术与自动化.2011
[3].金辉霞,何骞.部分四值逻辑中Sheffer函数的判定[J].计算机工程与应用.2011
[4].刘任任,王婷,谭昊勋.部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定[J].计算机科学.2010
[5].朱玲芳.部分四值逻辑中Sheffer函数的判定与构造[D].湘潭大学.2010
[6].顾思思,陈玮.部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员[J].邵阳学院学报(自然科学版).2009
[7].刘任任.部分四值逻辑中Sheffer函数的判定与构造[J].计算机工程与科学.2008
[8].龚志伟,刘任任,王日中.部分四值逻辑中保二元正则可离关系最小覆盖之确定[J].计算技术与自动化.2007
[9].顾思思.部分四值逻辑中保叁、四元单纯可离关系函数集最小覆盖之确定[D].湘潭大学.2007
[10].周小强.部分四值逻辑中保叁、四元正则可离关系函数集最小覆盖之判定[D].湘潭大学.2007