計量邏輯學(xué)中的旋轉(zhuǎn)對稱邏輯公式及其構(gòu)造.pdf

1、布爾函數(shù)作為研究密碼學(xué)的重要工具得到了廣泛的關(guān)注.旋轉(zhuǎn)對稱布爾函數(shù)是一類多輸入單輸出布爾函數(shù),具有良好的密碼學(xué)性質(zhì)，已經(jīng)被應(yīng)用在了各種密碼學(xué)系統(tǒng)中，并且關(guān)于其軌道計數(shù)問題的研究對密碼算法的安全性有重要意義.
　　同時，布爾函數(shù)也是數(shù)理邏輯中的重要概念，將布爾函數(shù)引入到數(shù)理邏輯中實現(xiàn)密碼學(xué)與邏輯學(xué)的交叉研究是一個有價值的研究課題，一方面可以為密碼學(xué)的相關(guān)研究奠定邏輯基礎(chǔ)，另一方面可以擴大數(shù)理邏輯潛在的應(yīng)用范圍.本文對旋轉(zhuǎn)對稱布爾函數(shù)

2、的軌道計數(shù)問題進行了深入討論，進一步利用旋轉(zhuǎn)對稱布爾函數(shù)的概念提出了旋轉(zhuǎn)對稱邏輯公式，并在計量邏輯學(xué)的范疇下對其性質(zhì)展開了研究.
　　以下是本文得到的主要結(jié)果:
　?。?）證明了已有方法在計算當(dāng)n=pa11 pa22… paωnωn時長圈個數(shù)是錯誤的，并給出了長圈個數(shù)的正確計算公式；
　?。?）將旋轉(zhuǎn)對稱布爾函數(shù)引入到數(shù)理邏輯學(xué)中，提出了旋轉(zhuǎn)對稱邏輯公式的概念，初步研究了其邏輯學(xué)性質(zhì)；
　?。?）在計量邏輯學(xué)范疇