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

【文章來源】：湘潭大學(xué)湖南省

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

【學(xué)位級(jí)別】：碩士

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


【參考文獻(xiàn)】：
期刊論文
[1]關(guān)于部分K值邏輯Sheffer函數(shù)（III）[J]. 李舒,劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 2002(03)
[2]關(guān)于部分K值邏輯Sheffer函數(shù)判定的一些結(jié)果（II）[J]. 肖凡,劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 2002(02)
[3]關(guān)于部分K值邏輯中Sheffer函數(shù)判定的一些結(jié)果（Ⅰ）[J]. 肖凡,劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 2001(03)
[4]關(guān)于部分K值邏輯Sheffer函數(shù)（Ⅰ）[J]. 歐陽建權(quán),劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 2000(03)
[5]關(guān)于K值Sheffer函數(shù)[J]. 羅鑄楷,王雷.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 1998(03)
[6]關(guān)于部分K值邏輯中準(zhǔn)完備集之最小覆蓋的一些結(jié)果（Ⅲ）[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 1995(03)
[7]關(guān)于部分K值邏輯中準(zhǔn)完備集之最小復(fù)蓋的一些結(jié)果（Ⅱ）[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 1993(02)
[8]部分K值邏輯中準(zhǔn)完備集之最小復(fù)蓋的一些結(jié)果（Ⅰ）[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 1992(01)
[9]多值邏輯研究的進(jìn)展與動(dòng)向[J]. 胡謀.  計(jì)算機(jī)學(xué)報(bào). 1992(01)
[10]部分三值邏輯中準(zhǔn)完備集的最小復(fù)蓋[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報(bào). 1991(02)

碩士論文
[1]部分多值邏輯中極大封閉集之最小覆蓋的判定[D]. 李舒.湘潭大學(xué) 2003
[2]部分多值邏輯中Sheffer函數(shù)的判定[D]. 肖凡.湘潭大學(xué) 2002
[3]基于相位式增壓器的磨料水射流切割機(jī)及其切割模型的研究[D]. 魏欣.南京理工大學(xué) 2002



本文編號(hào)：3545618