本書是關(guān)于研究“模糊邏輯及其代數(shù)分析”的專著,論全書共7章,涉及互相關(guān)聯(lián)的4個(gè)部分的內(nèi)容:基礎(chǔ)知識;基于t-模的可換模糊邏輯研究;基于偽t-模的非可換模糊邏輯研究;BCK/BIK+邏輯及源于非經(jīng)典邏輯的代數(shù)結(jié)構(gòu)的系統(tǒng)研究。 本書可作為基礎(chǔ)數(shù)學(xué)、應(yīng)用數(shù)學(xué)、計(jì)算機(jī)科學(xué)與技術(shù)、邏輯學(xué)、智能信息處理技術(shù)、管理科學(xué)與決策分析等專業(yè)或方向的研究生選修課教材。 本書論述模糊邏輯形式化系統(tǒng)及相關(guān)代數(shù)結(jié)構(gòu)問題,主要是作者近年研究工作的總結(jié),同時(shí)也介紹了與之相關(guān)的國內(nèi)外眾多學(xué)者的最新成果。全書共7章,涉及互相關(guān)聯(lián)的4個(gè)部分的內(nèi)容:基礎(chǔ)知識;基于t-模的可換模糊邏輯研究;基于偽t-模的非可換模糊邏輯研究;BCK/BIK+邏輯及源于非經(jīng)典邏輯的代數(shù)結(jié)構(gòu)的系統(tǒng)研究。 本書可作為基礎(chǔ)數(shù)學(xué)、應(yīng)用數(shù)學(xué)、計(jì)算機(jī)科學(xué)與技術(shù)、邏輯學(xué)、智能信息處理技術(shù)、管理科學(xué)與決策分析等專業(yè)或方向的研究生選修課教材,對前述相關(guān)領(lǐng)域的科技人員均有一定的參考價(jià)值。
|