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

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

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

定  價(jià):138 元

        

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

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

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

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