經典邏輯與非經典邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


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

簡體網頁||繁體網頁
杜國平 作者
高等教育齣版社
譯者
2006.7 出版日期
266 頁數
29.50元 價格
簡裝本
叢書系列
9787040189520 圖書編碼

經典邏輯與非經典邏輯基礎 在線電子書 圖書標籤: 邏輯學  邏輯  邏輯哲學  杜國平  文本/語言/邏輯  哲學教材  science  philosophy   


喜歡 經典邏輯與非經典邏輯基礎 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-06-09

經典邏輯與非經典邏輯基礎 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

經典邏輯與非經典邏輯基礎 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

經典邏輯與非經典邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



經典邏輯與非經典邏輯基礎 在線電子書 用戶評價

評分

以前上邏輯學課翻過。

評分

以前上邏輯學課翻過。

評分

以前上邏輯學課翻過。

評分

以前上邏輯學課翻過。

評分

以前上邏輯學課翻過。

經典邏輯與非經典邏輯基礎 在線電子書 著者簡介


經典邏輯與非經典邏輯基礎 在線電子書 著者簡介


經典邏輯與非經典邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

經典邏輯與非經典邏輯基礎 在線電子書 圖書描述

第一章預備知識

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.1ZFC簡介

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的可靠性

5.9反模型方法

5.10模態命題邏輯係統K、D、T、S4、B、s5的完全性

第六章時態邏輯

6.1時態語言

6.2時態語義

6.3時態邏輯極小係統K

6.4K.的元理論

6.5其他時態邏輯係統

第七章弗協調邏輯

7.1弗協調邏輯的產生

7.2形式語言

7.3公理係統Cn(1點n<ω)

7.4Cn(1點n<ω)的語義及可靠性

7.5足道集與Cn(1點n<ω)的完全性

7.6Cn(1點n<ω)的判定問題

7.7Cn的語義

第八章直覺主義邏輯

8.1直覺主義

8.2直覺主義邏輯形式係統

8.3直覺主義邏輯的語義

8.4直覺主義邏輯元理論

參考書目

經典邏輯與非經典邏輯基礎 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

經典邏輯與非經典邏輯基礎 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

經典邏輯與非經典邏輯基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





經典邏輯與非經典邏輯基礎 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有