多值邏輯是由二值邏輯擴展而來的。經(jīng)典的二值邏輯只有兩個狀態(tài)，即“真”和“假”，任何命題“非真即假”，二者必居其一，即排中律成立。然而，客觀世界的事物是十分復(fù)雜的，有些事物在某些情況下不是二值邏輯所能描述的。于是，便產(chǎn)生了多值邏輯。 多值邏輯的研究內(nèi)容主要包括多值邏輯的數(shù)學(xué)理論、多值電路與多值系統(tǒng)、多值邏輯的應(yīng)用三個方面的內(nèi)容�，F(xiàn)在它已成為計算機科學(xué)技術(shù)的重要分支。 本文在第一章中，系統(tǒng)地總結(jié)了國內(nèi)外在多值邏輯函數(shù)完備性理論方面取得的成果，詳細討論了完全和部分多值邏輯函數(shù)的完備性理論成果；并討論了Sheffer函數(shù)的判定問題；最后介紹了國際上多值邏輯研究中與計算機科學(xué)技術(shù)相關(guān)的一些新的研究動向。 本文在第二章中，研究了部分多值邏輯中Sheffer函數(shù)的判定問題，取得了以下成果： 1．證明了一類完滿對稱函數(shù)集必須在部分多值邏輯中的極大封閉集的最小覆蓋中出現(xiàn)。 2．證明了一類單純可離函數(shù)集必須在部分多值邏輯中的極大封閉集的最小覆蓋中出現(xiàn)。 3．證明了幾類完滿對稱函數(shù)集必然不在部分多值邏輯中的極大封閉集的最小覆蓋中出現(xiàn)。 4．證明了幾類正則可離函數(shù)集必... 

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

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

【文章目錄】：
前言
第一章 多值邏輯函數(shù)的完備性理論綜述
    第一節(jié) 完全多值邏輯函數(shù)
    第二節(jié) 部分多值邏輯函數(shù)
    第三節(jié) Sheffer函數(shù)
    第四節(jié) 多值邏輯研究的一些新動向
第二章 部分K值邏輯中Sheffer函數(shù)的判定
    第一節(jié) 完滿對稱函數(shù)集中在最小覆蓋中的成員
    第二節(jié) 單純可離函數(shù)集中在最小覆蓋中的成員
    第三節(jié) 幾類不是最小覆蓋成員的函數(shù)集
總結(jié)與展望
參考文獻
攻讀碩士學(xué)位期間公開發(fā)表的論文


【參考文獻】：
期刊論文
[1]關(guān)于部分K值邏輯Sheffer函數(shù)判定的一些結(jié)果（II）[J]. 肖凡,劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報. 2002(02)
[2]關(guān)于部分K值邏輯中Sheffer函數(shù)判定的一些結(jié)果（Ⅰ）[J]. 肖凡,劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報. 2001(03)
[3]關(guān)于K值Sheffer函數(shù)[J]. 羅鑄楷,王雷.  湘潭大學(xué)自然科學(xué)學(xué)報. 1998(03)
[4]關(guān)于部分K值邏輯中準(zhǔn)完備集之最小覆蓋的一些結(jié)果（Ⅲ）[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報. 1995(03)
[5]部分K值邏輯中準(zhǔn)完備集之最小復(fù)蓋的一些結(jié)果（Ⅰ）[J]. 劉任任.  湘潭大學(xué)自然科學(xué)學(xué)報. 1992(01)
[6]部分多值邏輯函數(shù)集中的極大封閉集[J]. 羅鑄楷.  數(shù)學(xué)學(xué)報. 1984(06)
[7]部分多值邏輯函數(shù)的完備性理論[J]. 羅鑄楷.  數(shù)學(xué)學(xué)報. 1984(05)
[8]多值邏輯中所有極大封閉集之確定問題[J]. 羅鑄楷.  數(shù)學(xué)學(xué)報. 1980(01)



本文編號：3677437