多值邏輯函數結構理論研究（簡體書）

全書系統地闡述了多值邏輯函數的結構理論；詳細地介紹了部分多值邏輯中Sheffer函數的判定與構造問題；重點介紹了作者提出的部分多值邏輯中準完備集之間的相似關係概念，以及利用這些理論來確定多值邏輯函數集中準完備集的最小覆蓋的成果；此外，還介紹了多值邏輯函數的擴散性、非線性及其在有限域上的置換等性質的研究成果。
本書可作為計算機及多值邏輯領域研究生的教材或參考書，也可供從事計算機及多值邏輯研究的有關人員閱讀。

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