關(guān)于我們
書單推薦
新書推薦
|
半線性子結(jié)構(gòu)邏輯的標(biāo)準(zhǔn)完備性(英文 ) 讀者對象:本書可作為非經(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ù),請掃碼獲取。
你還可能感興趣
我要評論
|