關(guān)于我們
書單推薦
新書推薦

半線性子結(jié)構(gòu)邏輯的標(biāo)準(zhǔn)完備性(英文 )

半線性子結(jié)構(gòu)邏輯的標(biāo)準(zhǔn)完備性(英文  )

定  價:138 元

        

  • 作者:王三民
  • 出版時間:2020/12/1
  • ISBN:9787030668769
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:O241.82 
  • 頁碼:264
  • 紙張:
  • 版次:31
  • 開本:B5
9
7
6
8
6
7
8
0
7
3
6
0
9

讀者對象:本書可作為非經(jīng)典數(shù)理邏輯、不確定性推理、人工智能、理論計算機科學(xué)等數(shù)學(xué)或信息專業(yè)的研究生教材, 也可以供數(shù)學(xué)與計算機等專業(yè)的高年級本科生、教師與科研人員閱讀參考。

本書系統(tǒng)闡述模糊邏輯標(biāo)準(zhǔn)完備性證明的各種方法和理論,為初學(xué)者盡可能多的提供理論和技術(shù)上的細(xì)節(jié),使其能盡快進(jìn)入這一課題的研究工作。特別地,較為詳細(xì)的介紹了作者在這些方面所做的工作,對IUL完備性的證明進(jìn)行了詳細(xì)的論述,并針對主算法的最困難部分給出了實例,這在一般地論文寫作是不可能的。

更多科學(xué)出版社服務(wù),請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容