多值邏輯是指一切邏輯值的取值數(shù)大于2的邏輯。多值邏輯可以更好地解決用二值邏輯不易解決的問題，因此有著廣闊的發(fā)展前景。多值邏輯的研究?jī)?nèi)容有很多，函數(shù)系的完備性判定、Sheffer函數(shù)的構(gòu)造與判定是其中的重要組成部分。 函數(shù)系的完備性判定問題是多值邏輯理論中基本而重要的問題，同時(shí)也是自動(dòng)機(jī)理論，多值邏輯網(wǎng)絡(luò)中必須解決的問題，此問題的解決依賴于定出多值邏輯函數(shù)集中的所有極大封閉集（準(zhǔn)完備集）。 多值邏輯完備性理論中的另一重要問題是Sheffer函數(shù)的判定問題，此問題可歸結(jié)為定出所有極大封閉集（準(zhǔn)完備集）的最小覆蓋。 本文研究的是部分多值邏輯中極大封閉集之最小覆蓋的判定問題。我們研究的重點(diǎn)是二元單純可離函數(shù)集。在第一章中，我們系統(tǒng)地闡述了多值邏輯的基本概念，并總結(jié)了國(guó)內(nèi)外學(xué)者在多值邏輯研究領(lǐng)域已取得的重要成果及當(dāng)前的研究動(dòng)態(tài)。第二章分別對(duì)關(guān)系圖連通和不連通的二元單純可離函數(shù)集進(jìn)行討論，獲得了一些有用的結(jié)果。第三章對(duì)保三元關(guān)系函數(shù)集的判定作了初步嘗試，并得出一類三元完滿對(duì)稱函數(shù)集在P_K

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

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

【文章目錄】：
引言
第一章 多值邏輯函數(shù)結(jié)構(gòu)理論綜述
    第一節(jié) 多值邏輯函數(shù)的基本概念
    第二節(jié) 多值邏輯函數(shù)的完備性定理
    第三節(jié) 多值邏輯中的Sheffer函數(shù)
    第四節(jié) 多值邏輯的起源、發(fā)展及研究新動(dòng)向
第二章 二元單純可離函數(shù)集中最小覆蓋成員的判定
    第一節(jié) 關(guān)系圖連通的S_(Ⅰ，2)中最小覆蓋成員判定
    第二節(jié) 關(guān)系圖非連通且至少有兩個(gè)非孤立點(diǎn)連通子圖的S_(Ⅰ，2)中最小覆蓋成員判定
    第三節(jié) 關(guān)系圖非連通且只有一個(gè)非孤立點(diǎn)連通子圖的S_(Ⅰ，2)中最小覆蓋成員判定
第三章 三元完滿對(duì)稱函數(shù)的判定結(jié)果
總結(jié)與展望
參考文獻(xiàn)
附錄
攻讀碩士學(xué)位期間公開發(fā)表的論文
致謝



本文編號(hào)：3732171