基本信息
作 者： 閆林 著
出 版 社： 科學出版社
ISBN： 9787030198280
出版時間： 2007-08-01
版 次： 1
頁 數： 259
裝 幀： 平裝
開 本： 16開
所屬分類： 圖書>計算機與網際網路>人工智慧
內容簡介
《數理邏輯基礎與粒計算》由兩部分內容組成。前四章作為第一部分，討論了數理邏輯的基礎知識，其中包括經典命題演算、經典謂詞演算和非經典的模態邏輯，講解的特點是始終貫穿形式推理在自然推理系統與公理系統中相互等價這條主線。第二部分由後兩章構成，內容基於邏輯知識之上，是對第一部分內容的套用和擴展，由作者近年的科研成果作為支撐，其中包括採用邏輯方法對粒和粒計算的形式化、粒空間中基於粒計算的粒語義推理、粒計算與邏輯推理相互融合的討論、粒計算的套用等。 《數理邏輯基礎與粒計算》面向從事計算機科學、自動控制及相關專業的科研人員和科技工作者，特別是從事人工智慧、粒計算研究的讀者。《數理邏輯基礎與粒計算》可作為研究生的教材或閱讀材料，也可供本科高年級學生閱讀。
