數理邏輯引論 (第二版) 朱梧檟 肖奚安 朱朝暉 周勇 9787568540353 【台灣高等教育出版社】

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202301*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：數理邏輯引論 (第二版)
ISBN：9787568540353
出版社：大連理工大學
著編譯者：朱梧檟 肖奚安 朱朝暉 周勇
頁數：263
所在地：中國大陸 *此為代購商品
書號：1513259
可大量預訂，請先連絡。

內容簡介

本書涵蓋了命題與命題聯結詞、命題邏輯演算、謂詞與量詞、謂詞邏輯演算等方面的內容，並且包含了與計算機科學有關的主題，如有限模型。本書特點是：內容可讀性強；組織結構更靈活，授課教師可根據教學需要節選本書的內容；反映了近幾年來理論計算機科學對邏輯學產生的影響；包含較多的示例和說明。本書既能適用於計算機專業又能滿足數學系基礎數學專業，為了適合不同層次的讀者，在內容上有深有淺。本書適合數學系大學生、數學系教師以及數學愛好者閱讀。

目錄

第0章 緒論
0 1 什麼是數理邏輯？
0 2 形式系統及其解釋
第1章 命題與命題聯結詞
1 1 命題
1 2 命題聯結詞
1 3 真值函數
1 4 範式
1 5 範式與指派
1 6 命題聯結詞含量的完全性
習題與補充1
第2章 命題邏輯演算
2 1 命題邏輯的自然推理系統PN的構造
2 2 命題邏輯的自然推理系統PN的展開
2 3 命題邏輯的重言式系統PT的構造
2 4 命題邏輯的重言式系統PT的展開
2 5 PN的簡化及其與PT的關係
習題與補充2
第3章 謂詞與量詞
3 1 命題的分解與謂詞
3 2 量詞與變元
3 3 函詞與摹狀詞
3 4 指派與同真假性
3 5 永真性與可滿足性
3 6 前束範式與Skolem範式
習題與補充3
第4章 謂詞邏輯演算
4 1 謂詞邏輯的自然推理系統F~的構造
4 2 謂詞邏輯的自然推理系統FX的展開
4 3 謂詞邏輯的重言式系統FT的構造
4 4 謂詞邏輯的重言式系統FT的展開
4 5 FX的簡化及其與FT的關係
4 6 帶等詞或函詞的謂詞邏輯
習題與補充4
第5章 邏輯演算系統的整體特徵
5 1 賦值與模型
5 2 可靠性與協調性
5 3 完備性
5 4 緊緻性與可判定性
習題與補充5
參考文獻
附錄非經典邏輯綱要

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。