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

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

【學位級別】：碩士

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



本文編號：3732171