多值邏輯函數(shù)結(jié)構(gòu)理論研究

前言
第一章 緒論
　1.1 多值邏輯研究的意義
　1.2 多值邏輯研究與其他學(xué)科
　　1.2.1 多值邏輯與分子計算機
　　1.2.2 多值邏輯與光計算機
　　1.2.3 多值邏輯與人工智能
　1.3 多值邏輯函數(shù)結(jié)構(gòu)理論
　1.4 現(xiàn)代密碼學(xué)中的邏輯函數(shù)
　　1.4.1 密碼學(xué)中的二值邏輯函數(shù)
　　1.4.2 密碼學(xué)中的k值邏輯函數(shù)
　1.5 Bent函數(shù)
　　1.5.1 廣義Bent函數(shù)及其基本性質(zhì)
　　1.5.2 廣義Bent函數(shù)與完全非線性函數(shù)
　　1.5.3 廣義Bent函數(shù)主要構(gòu)造方法
　　1.5.4 質(zhì)域Fp上的廣義Bent函數(shù)
　1.6 多值邏輯代數(shù)系統(tǒng)
　　1.6.1 Postn值系統(tǒng)
　　1.6.2 Allen和Givone系統(tǒng)
　　1.6.3 Vranesic、Lee與Smith系統(tǒng)
　　1.6.4 模代數(shù)系統(tǒng)
　　1.6.5 Webb運算系統(tǒng)
　參考文獻(xiàn)
第二章 多值邏輯函數(shù)的結(jié)構(gòu)理論
　2.1 完全多值邏輯函數(shù)結(jié)構(gòu)理論
　2.2 完全二值邏輯函數(shù)集
　2.3 完全是值邏輯函數(shù)集中的準(zhǔn)完備集
　2.4 部分是值邏輯函數(shù)集中的準(zhǔn)完備集
　2.5 一元是值邏輯函數(shù)
　參考文獻(xiàn)
第三章 部分二值邏輯中準(zhǔn)完備集的最小覆蓋
　3.1 基本定義
　3.2 P2*中準(zhǔn)完備集的最小覆蓋
　3.3 部分二值n元Sheffer函數(shù)的個數(shù)
　參考文獻(xiàn)
第四章 部分眾值邏輯中準(zhǔn)完備集之間的相似關(guān)系
　4.1 相似關(guān)系
　4.2 保相似關(guān)系的準(zhǔn)完備集之間的性質(zhì)
　參考文獻(xiàn)
第五章 部分三值邏輯中準(zhǔn)完備集的最小覆蓋
　5.1 部分三值邏輯中的準(zhǔn)完備集
　5.2 部分三值邏輯中準(zhǔn)完備集的最小覆蓋的確定
　參考文獻(xiàn)
第六章 部分k值邏輯中準(zhǔn)完備集的最小覆蓋(Ⅰ)
　6.1 引言
　6.2 關(guān)于保E函數(shù)集TE
　6.3 關(guān)于L型函數(shù)集LG4，2
　6.4 關(guān)于擬線性函數(shù)集Lp
　參考文獻(xiàn)
第七章 部分A值邏輯中準(zhǔn)完備集的最小覆蓋(Ⅱ)
　7.1 關(guān)于正則可離函數(shù)集
　7.2 關(guān)于完滿對稱函數(shù)集
　7.3 關(guān)于二元單純可離關(guān)系
　參考文獻(xiàn)
第八章 多值邏輯函數(shù)的擴散性
　8.1 滿足PC(k)的多值邏輯函數(shù)
　8.2 滿足PC(k)／m、EPC(k)／m的函數(shù)
　8.3 滿足SAC(n—1)、SAC(n—2)的函數(shù)
　8.4 多輸出函數(shù)
　8.5 二次q值邏輯函數(shù)的擴散性
　8.6 滿足EPC(k)／m的q值邏輯函數(shù)
　參考文獻(xiàn)
第九章 現(xiàn)代密碼學(xué)中的多值邏輯函數(shù)
　9.1 完全非線性函數(shù)
　9.2 處處非線性函數(shù)
　9.3 Costas陣列
　9.4 Costas陣列與置換多項式
　參考文獻(xiàn)
第十章 幾類p值Bent函數(shù)及其性質(zhì)
　10.1 部分p值Bent函數(shù)
　10.2 (n，k，h)線性碼
　10.3 δ-Bent函數(shù)
　參考文獻(xiàn)
第十一章 有限域上的多值邏輯函數(shù)置換
　11.1 布爾置換與Costas陣列
　11.2 多值邏輯函數(shù)組的置換
　11.3 多值邏輯函數(shù)組的正形置換
　參考文獻(xiàn)
第十二章 滿足k次擴散準(zhǔn)則的布爾函數(shù)和布爾置換
　12.1 滿足是次擴散準(zhǔn)則的布爾函數(shù)
　12.2 滿足是次擴散準(zhǔn)則的布爾置換
　參考文獻(xiàn)
第十三章 二值Bent函數(shù)
　13.1 二值Bent函數(shù)綜述
　13.2 二值Bent函數(shù)的構(gòu)造和分類
　13.3 二值Bent函數(shù)、Sheffer函數(shù)和相關(guān)免疫函數(shù)
　13.4 利用計算機求二值Bent函數(shù)
　　13.4.1 置換分類
　　13.4.2 單純仿射分類
　　13.4.3 算法描述
　　13.4.4 程序的運行結(jié)果及說明
　　13.4.5 源程序代碼
　參考文獻(xiàn)
第十四章 圖形僅含圈環(huán)且模為k+3的Sheffer函數(shù)
　14.1 具有單一生成元的有限代數(shù)的完備性
　14.2 具有單一生成元的有限代數(shù)的完備性獨立條件
　14.3 模為是k+3且圖形僅含圈環(huán)的Sheffer函數(shù)的充要條件
　參考文獻(xiàn)