TOP
0
0
魅麗。花火原創小說66折起
人民幣定價:59 元
定  價:NT$ 354 元
優惠價:87308
領券後再享88折
無庫存,下單後進貨(採購期約45個工作天)
可得紅利積點:9 點
相關商品
目次

目次

前言
第1章 一階邏輯
第1節 命題邏輯的證明方法
第2節 不用聯結詞和量詞的一階邏輯系統
第3節 一階邏輯的公理系統
第2章 模態邏輯
第1節 模態系統
第2節 正規模態系統
第3節 模態謂詞邏輯
第3章 時態邏輯
第1節 語言
第2節 解釋
第3節 形式系統
第4節 時態邏輯的完全性
第5節 禁對稱性和完全性
第6節 判定問題
第7節 帶量詞的時態邏輯
第8節 時態邏輯與模態邏輯
第9節 其他時態詞
第4章 條件句邏輯
第1節 形式系統
第2節 鄰域模型論
第3節 關係模型論
第4節 球形系統模型論
第5節 擇類函數模型論
第6節 諸語義之比較
第7節 量化條件句邏輯
第5章 多值邏輯
第1節 盧卡西維茨的三值邏輯
第2節 布奇瓦爾的三值邏輯
第3節 克利尼的三值邏輯
第4節 盧卡西維茨的m+1值邏輯
第5節 盧卡西維茨的無窮值邏輯
第6節 后承關係
第7節 演算
第8節 多值謂詞邏輯
第9節 波斯特代數
第6章 相干邏輯
第1節 純相干蘊涵部分
第2節 相干命題邏輯
第3節 相干命題邏輯的關係語義
第7章 直覺主義邏輯
第1節 直覺主義命題邏輯
第2節 直覺主義謂詞邏輯
第3節 克里普克語義
第4節 完全性
第8章 弗協調邏輯
第1節 弗協調命題邏輯
第2節 弗協調模態命題邏輯
第3節 弗協調時態命題邏輯
第9章 哥德爾不完全性定理
第1節 形式算術
第2節 遞歸函數
第3節 算術化
第4節 數字可表示性
第5節 哥德爾不完全性定理

您曾經瀏覽過的商品

購物須知

大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。

特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。

無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。

為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。

若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

優惠價:87 308
無庫存,下單後進貨
(採購期約45個工作天)

暢銷榜

客服中心

收藏

會員專區