经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书


经典逻辑与非经典逻辑基础

简体网页||繁体网页

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书 著者简介


经典逻辑与非经典逻辑基础 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-05-20

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书



喜欢 经典逻辑与非经典逻辑基础 电子书 的读者还喜欢


经典逻辑与非经典逻辑基础 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:高等教育出版社
作者:杜国平
出品人:
页数:266
译者:
出版时间:2006.7
价格:29.50元
装帧:简裝本
isbn号码:9787040189520
丛书系列:

图书标签: 逻辑学  逻辑  逻辑哲学  杜国平  文本/语言/逻辑  哲学教材  science  philosophy   


经典逻辑与非经典逻辑基础 2024 pdf 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直覺主義邏輯元理論

參考書目

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 用户评价

评分

以前上逻辑学课翻过。

评分

以前上逻辑学课翻过。

评分

以前上逻辑学课翻过。

评分

以前上逻辑学课翻过。

评分

以前上逻辑学课翻过。

经典逻辑与非经典逻辑基础 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有