內容簡介
《現代數學基礎叢書·典藏版108:非經典數理邏輯與近似推理(第二版)》在第一版的基礎上修訂再版,全書較係統地講述瞭各種三值邏輯、n值邏輯以及連續值邏輯理論;為模糊命題演算建立瞭一套形式演繹係統;把模糊推理納入瞭嚴格的邏輯軌道;從整體賦值齣發,建立瞭積分語義學理論,為近似推理提供瞭一種可能的框架;係統論述瞭Pavelka邏輯並扼要論述瞭抽象邏輯。此外,《現代數學基礎叢書·典藏版108:非經典數理邏輯與近似推理(第二版)》在第一版的基礎上增添瞭模態邏輯、知識推理與描述邏輯的內容。
《現代數學基礎叢書·典藏版108:非經典數理邏輯與近似推理(第二版)》可作為計算機專業、自動控製專業的研究生教材,也可供數學及相關專業的高年級本科生、教師、科研人員閱讀參考。
內頁插圖
目錄
前言/序言
本書的第二版與第一版相比較,除改正瞭第一版中的若乾筆誤和印刷錯誤之外,主要增添瞭第9章,即模態邏輯、知識推理與描述邏輯的內容,之所以增添這一章是基於以下考慮:模態邏輯、知識推理與描述邏輯都是具有較廣泛的應用背景並且是為人工智能學科所關注的課題,國內雖有介紹這些課題的文章和書籍,但就作者所見到的文獻而言,其側重點似乎不在於嚴格論證,或者預備知識不足而不便於初學者學習,所以在這方麵如果有一部能較為係統的、屬於入門而又注重嚴格邏輯論證的教材自然會使讀者受益不少,近幾年作者曾應邀先後在四川大學、西南大學、北京大學、湖南大學和上海師範大學等一些地方講述過這部分內容,效果似乎尚好,所以就萌發瞭撰寫這部分內容的想法。這部分內容顯然與邏輯緊密相關,但又不屬於經典數理邏輯中四論(公理集閤論、模型論、證明論、遞歸論)的範圍,自然也就可以納入於非經典數理邏輯的範圍之中瞭,作者寫完瞭第9章的內容之後,曾由研究生高榮榮、王茹、段巧林和郭秀敏在討論班中按順序報告過,這幾位同學以及參加討論的研究生和訪問學者提齣瞭不少好的建議,相應的內容也隨即作瞭修改,特彆是博士生李璧鏡提齣瞭若乾重要的修改意見,她還認真地打印瞭第9章的原稿和修改稿以及編寫和打印瞭全書的新索引,博士生周紅軍和摺延宏認真地校閱瞭全部書稿,並糾正瞭第9章中的幾處不嚴密的論述,在本書第二版齣版之際,我對他們的辛勤工作錶示感謝。
本書第9章的撰寫時間較倉促,內容雖經過幾次修改,但由於作者的水平所限,可能還有許多我們未能發現的錯誤,作者衷心希望各位專傢及讀者批評指正。
現代數學基礎叢書·典藏版108:非經典數理邏輯與近似推理(第二版) 下載 mobi epub pdf txt 電子書