部分多值逻辑中正则可离函数集最小覆盖之判定

发布时间：2021-12-22 02:37

　　多值逻辑是计算机科学技术的重要分支。它研究的内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。 在多值逻辑理论中,一个基本而重要的问题是函数系的完备性,它的解决依赖于定出K值函数集 PK 中所有的准完备集（ 极大封闭集 ）;另一个重要问题是 Sheffer 函数的判定,它的彻底解决归结为定出所有的准完备集（ 极大封闭集 ）之最小覆盖。 第一章,简要介绍了国内外在多值逻辑方面的研究成果 ;第二章,对部分多值逻辑中,当σ=e时,二元正则可离函数集最小覆盖之判定作了研究,并得出了当σ=e时,一些满足一定条件的二元正则可离函数集不是Pk 之最小覆盖成员的结论。 

【文章来源】：湘潭大学湖南省

【文章页数】：74 页

【学位级别】：硕士

【文章目录】：
前言
第一章 多值逻辑结构理论综述
    第一节 完全多值逻辑函数
    第二节 部分多值逻辑函数
    第三节 Sheffer 函数
    第四节 多值逻辑起源、发展及相关领域
第二章 二元正则可离函数集最小覆盖之判定
    第一节 正则可离函数简介
    第二节 正则可离函数集最小覆盖成员的判定
总结与展望
参考文献
附录
攻读硕士期间参加的课题组及公开发表的论文
致谢
提要


【参考文献】：
期刊论文
[1]关于部分K值逻辑Sheffer函数（III）[J]. 李舒,刘任任.  湘潭大学自然科学学报. 2002(03)
[2]关于部分K值逻辑Sheffer函数判定的一些结果（II）[J]. 肖凡,刘任任.  湘潭大学自然科学学报. 2002(02)
[3]关于部分K值逻辑中Sheffer函数判定的一些结果（Ⅰ）[J]. 肖凡,刘任任.  湘潭大学自然科学学报. 2001(03)
[4]关于部分K值逻辑Sheffer函数（Ⅰ）[J]. 欧阳建权,刘任任.  湘潭大学自然科学学报. 2000(03)
[5]关于K值Sheffer函数[J]. 罗铸楷,王雷.  湘潭大学自然科学学报. 1998(03)
[6]关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）[J]. 刘任任.  湘潭大学自然科学学报. 1995(03)
[7]关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）[J]. 刘任任.  湘潭大学自然科学学报. 1993(02)
[8]部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）[J]. 刘任任.  湘潭大学自然科学学报. 1992(01)
[9]多值逻辑研究的进展与动向[J]. 胡谋.  计算机学报. 1992(01)
[10]部分三值逻辑中准完备集的最小复盖[J]. 刘任任.  湘潭大学自然科学学报. 1991(02)

硕士论文
[1]部分多值逻辑中极大封闭集之最小覆盖的判定[D]. 李舒.湘潭大学 2003
[2]部分多值逻辑中Sheffer函数的判定[D]. 肖凡.湘潭大学 2002
[3]基于相位式增压器的磨料水射流切割机及其切割模型的研究[D]. 魏欣.南京理工大学 2002



本文编号：3545618