多值邏輯是計算機科學技術的重要分支。它研究的內容主要包括多值邏輯的理論、多值電路與多值系統(tǒng)、多值邏輯的應用。 在多值邏輯理論中,一個基本而重要的問題是函數(shù)系的完備性,它的解決依賴于定出K值函數(shù)集 PK 中所有的準完備集（ 極大封閉集 ）;另一個重要問題是 Sheffer 函數(shù)的判定,它的徹底解決歸結為定出所有的準完備集（ 極大封閉集 ）之最小覆蓋。 第一章,簡要介紹了國內外在多值邏輯方面的研究成果 ;第二章,對部分多值邏輯中,當σ=e時,二元正則可離函數(shù)集最小覆蓋之判定作了研究,并得出了當σ=e時,一些滿足一定條件的二元正則可離函數(shù)集不是Pk 之最小覆蓋成員的結論。 

【文章來源】：湘潭大學湖南省

【文章頁數(shù)】：74 頁

【學位級別】：碩士

【文章目錄】：
前言
第一章 多值邏輯結構理論綜述
    第一節(jié) 完全多值邏輯函數(shù)
    第二節(jié) 部分多值邏輯函數(shù)
    第三節(jié) Sheffer 函數(shù)
    第四節(jié) 多值邏輯起源、發(fā)展及相關領域
第二章 二元正則可離函數(shù)集最小覆蓋之判定
    第一節(jié) 正則可離函數(shù)簡介
    第二節(jié) 正則可離函數(shù)集最小覆蓋成員的判定
總結與展望
參考文獻
附錄
攻讀碩士期間參加的課題組及公開發(fā)表的論文
致謝
提要


【參考文獻】：
期刊論文
[1]關于部分K值邏輯Sheffer函數(shù)（III）[J]. 李舒,劉任任.  湘潭大學自然科學學報. 2002(03)
[2]關于部分K值邏輯Sheffer函數(shù)判定的一些結果（II）[J]. 肖凡,劉任任.  湘潭大學自然科學學報. 2002(02)
[3]關于部分K值邏輯中Sheffer函數(shù)判定的一些結果（Ⅰ）[J]. 肖凡,劉任任.  湘潭大學自然科學學報. 2001(03)
[4]關于部分K值邏輯Sheffer函數(shù)（Ⅰ）[J]. 歐陽建權,劉任任.  湘潭大學自然科學學報. 2000(03)
[5]關于K值Sheffer函數(shù)[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函數(shù)的判定[D]. 肖凡.湘潭大學 2002
[3]基于相位式增壓器的磨料水射流切割機及其切割模型的研究[D]. 魏欣.南京理工大學 2002



本文編號：3545618