關(guān)于我們
書(shū)單推薦
新書(shū)推薦
|
半線性子結(jié)構(gòu)邏輯的標(biāo)準(zhǔn)完備性(英文 ) 讀者對(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)論
|