多值邏輯是一種邏輯取值數(shù)大于2的非經(jīng)典邏輯系統(tǒng)。其研究?jī)?nèi)容主要包括多值邏輯理論、電路與系統(tǒng)和應(yīng)用等三個(gè)方面。多值邏輯函數(shù)結(jié)構(gòu)理論是多值邏輯理論的研究?jī)?nèi)容之一,它主要包括多值邏輯函數(shù)的完備性理論、函數(shù)表示理論以及單向陷門函數(shù),其中一個(gè)基本且重要的問題是多值邏輯函數(shù)集的完備性判定,在多值邏輯網(wǎng)絡(luò)以及自動(dòng)機(jī)理論中,這也是一個(gè)必須解決的問題。此問題的解決與多值邏輯函數(shù)集中準(zhǔn)完備集（又稱極大封閉集）的確定密切相關(guān)。多值邏輯中Sheffer函數(shù)的判定與構(gòu)造是多值邏輯完備性理論中的又一個(gè)重要問題,該問題歸結(jié)為找出全部準(zhǔn)完備集的最小覆蓋。對(duì)于完全多值邏輯中Sheffer函數(shù)的判定問題,已于20世紀(jì)70年代完全解決;對(duì)于部分多值邏輯中Sheffer函數(shù)的判定問題,由于準(zhǔn)完備集的最小覆蓋問題還沒有完全解決而尚未徹底解決。本文較深入地研究了部分四值邏輯中Sheffer函數(shù)的判定和構(gòu)造問題。根據(jù)部分四值邏輯中準(zhǔn)完備集的最小覆蓋,分別給出了判定和構(gòu)造部分四值邏輯中Sheffer函數(shù)的算法。該算法可判定任意一個(gè)部分四值邏輯函數(shù)是否為Sheffer函數(shù),此外,還能構(gòu)造出所有部分四值邏輯Sheffer函數(shù)。為解決部分... 

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

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

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

【文章目錄】：
摘要
Abstract
第1章 序論
    1.1 多值邏輯簡(jiǎn)介
    1.2 多值邏輯的起源與發(fā)展
    1.3 本文的主要研究?jī)?nèi)容
第2章 多值邏輯函數(shù)結(jié)構(gòu)理論綜述
    2.1 完全多值邏輯函數(shù)結(jié)構(gòu)理論
    2.2 完全二值邏輯函數(shù)集
    2.3 完全k 值邏輯函數(shù)集中的準(zhǔn)完備集
    2.4 部分k 值邏輯函數(shù)集中的準(zhǔn)完備集
    2.5 一元k 值邏輯函數(shù)
    2.6 部分K 值邏輯中準(zhǔn)完備集之間的相似關(guān)系
第3章 部分四值邏輯中準(zhǔn)完備集的最小覆蓋
    3.1 P_4~* 中四類必出現(xiàn)準(zhǔn)完備集的最小覆蓋成員
    3.2 P_4~* 中完滿對(duì)稱函數(shù)集的最小覆蓋成員
    3.3 P_4~* 中單純可離函數(shù)集的最小覆蓋成員
    3.4 P_4~* 中正則可離函數(shù)集的最小覆蓋成員
第4章 部分四值邏輯中Sheffer 函數(shù)的判定及構(gòu)造
    4.1 部分四值邏輯中Sheffer 函數(shù)的判定算法
    4.2 部分四值邏輯中Sheffer 函數(shù)的構(gòu)造算法
第5章 總結(jié)與展望
參考文獻(xiàn)
附錄A 攻讀碩士學(xué)位期間已公開發(fā)表的論文
致謝


【參考文獻(xiàn)】：
期刊論文
[1]部分三值邏輯中Sheffer函數(shù)的判定算法[J]. 何騫,劉任任.  計(jì)算機(jī)工程與應(yīng)用. 2009(19)
[2]部分四值邏輯中Sheffer函數(shù)的判定與構(gòu)造[J]. 劉任任.  計(jì)算機(jī)工程與科學(xué). 2008(11)
[3]部分K值邏輯中最小覆蓋之判定的一些結(jié)果[J]. 劉玉珍,劉任任.  計(jì)算機(jī)工程與應(yīng)用. 2007(23)
[4]部分四值邏輯中保三元正則可離關(guān)系函數(shù)集最小覆蓋的確定[J]. 周小強(qiáng),劉任任.  計(jì)算技術(shù)與自動(dòng)化. 2007(01)
[5]正則可離關(guān)系之最小覆蓋成員的判定結(jié)果[J]. 劉玉珍,劉任任.  計(jì)算機(jī)工程與應(yīng)用. 2007(05)
[6]關(guān)于部分四值邏輯中保2元正則可離關(guān)系的分類[J]. 龔志偉,劉任任.  計(jì)算技術(shù)與自動(dòng)化. 2006(03)
[7]關(guān)于部分四值邏輯中完滿對(duì)稱函數(shù)集最小覆蓋判定的一些結(jié)果[J]. 黃鋒,劉任任.  計(jì)算技術(shù)與自動(dòng)化. 2006(01)
[8]關(guān)于部分K值邏輯中正則可離函數(shù)集的極大封閉集之最小覆蓋判定的一些結(jié)果[J]. 劉玉珍,劉任任.  海軍工程大學(xué)學(xué)報(bào). 2004(05)
[9]關(guān)于部分K值邏輯中的單純可離函數(shù)集性質(zhì)的一些結(jié)果[J]. 王婷,劉任任.  計(jì)算技術(shù)與自動(dòng)化. 2004(03)
[10]關(guān)于部分K值邏輯Sheffer函數(shù)（V）[J]. 李舒,劉任任.  計(jì)算技術(shù)與自動(dòng)化. 2004(03)



本文編號(hào)：3583413