經典邏輯與非經典邏輯基礎

圖書信息

作　者：杜國平編著出版社：高等教育出版社

出版時間：2006-7-1

版　次：1

頁　數：266

字　數：290000

印刷時間：2006-7-1

開　本：16開

紙　張：膠版紙

印　次：1

I S B N：9787040189520

包　裝：平裝

內容簡介

邏輯是人類智慧型的核心。《經典邏輯與非經典邏輯基礎》主要包括三個部分。第一部分介紹集合論的基本內容。第二部分介紹經典邏輯的基本內容，主要包括命題邏輯和謂詞邏輯。第三部分介紹非經典邏輯的基本內容。主要包括模態邏輯、時態邏輯、弗協調邏輯和直覺主義邏輯。對現代邏輯的不同系統均採用嚴格的形式化、公理化方法進行敘述，並詳細分析各系統的可靠性、完全性等系統的元性質。《經典邏輯與非經典邏輯基礎》的內容是自足的，不需要讀者其他特別的知識準備。《經典邏輯與非經典邏輯基礎》既適合邏輯學專業的本科生、研究生使用，也可供計算機科學、人工智慧、語言學、哲學等專業的學生使用，還可供對現代邏輯感興趣的讀者自學使用。

圖書目錄

第一章預備知識

1.1 集

1.2 集運算

1.3 關係和映射

1.4 集合的基數

第二章命題邏輯

2.1 基於命題聯繫的推理

2.2 命題語言

2.3 公理系統

2.4 命題邏輯自然推理系統

2.5 語義

2.6 真值表

2.7 真值連線詞的完全集

2.8 命題邏輯的元理論

第三章一階謂詞邏輯

3.1 自然語言的一階表示

3.2 一階語言

3.3 一階語義

3.4 一階謂詞邏輯公理系統

3.5 一階謂詞邏輯自然推理系統

3.6 一階謂詞邏輯系統元理論

第四章公理集合論基礎

4.1 ZFC簡介

4.2 外延公理、空集公理和子集公理

4.3 偶集公理

4.4 並集公理和冪集公理

4.5 關係

4.6 等價關係和劃分

4.7 函式和選擇公理

4.8 無窮公理、歸納定義和正則公理

4.9 序數和替換公理

4.10 基數

第五章模態邏輯

5.1 模態語言

5.2 模態命題邏輯系統K

5.3 模態命題邏輯系統D、T

5.4 模態命題邏輯系統S4、B、S5

5.5 模態命題邏輯系統K、D、T、S4、B和S5的一致性

5.6 可能世界語義學

5.7 模態公式與一階公式的對應

5.8 模態命題邏輯系統K、D、T、S4、B、S5的可靠性

經典邏輯與非經典邏輯基礎

基本介紹

圖書信息

內容簡介

圖書目錄

相關詞條

熱門詞條