數理邏輯通俗講話 pdf epub mobi txt 電子書 下載 2025
☆☆☆☆☆
簡體網頁||
繁體網頁
王浩
科學齣版社
1983
0
1.55
圖書標籤:
數理邏輯
王浩
數學
邏輯
哲學
邏輯學
科普
分析哲學
喜歡 數理邏輯通俗講話 的讀者還喜歡
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
发表于2025-01-25
數理邏輯通俗講話 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
數理邏輯通俗講話 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
數理邏輯通俗講話 pdf epub mobi txt 電子書 下載 2025
圖書描述
著者簡介
圖書目錄
第一章 數理邏輯一百年
第二章 形式化和公理方法
第三章 計算機
2.1 形式係統——公理係統的特殊情形
2.2 謂詞演算或一階邏輯
2.3 形式係統和形式思維
2.4 一階和二階理論
2.5 Gödel不完全性定理概要
2.6 證明的背景及分解
2.7 不可判定的數學命題
3.1 一般概念
3.2 發展計算機科學
3.3 計算機的進展
3.4 計算機與中文
3.5 計算機應用的幾個例子
3.6 大學的統一招生問題
3.7 四色定理的證明
3.8 定理的機器證明
第四章 問題與解
4.1 問題作為推動力
4.2 數理邏輯中的問題
4.3 一些較明晰的問題
4.4 Diophtus問題
4.5 Euler道路和Hamilton道路
第五章 一階邏輯
5.1 可滿足性與有效性
5.2 一階邏輯的規約類和判定問題
5.3 命題邏輯
5.4 模型論
5.5 Löwenheim-Skolem定理
5.6 超積
5.7 Ramsey定理和不可辨元
5.8 其他邏輯
5.9 形式化與完全性
第六章 計算——理論的和可實現的
6.1 多項式時間內的計算
6.2 重言式問題和NP完全性
6.3 NP問題的例子
6.4 重言式問題
6.5 多項式時間和可行性
6.6 可判定理論和不可解問題
6.7 鋪磚問題
6.8 遞歸論:度和分層
第七章 直綫上有多少個點?
7.1 Cantor和集閤論
7.2 有限集閤論和類型論
7.3 集論的公理化
7.4 Hilbert的介入
7.5 可構成集
7.6 GCH的協調性
7.7 可構成性
7.8 連續統問題
7.9 1960年以來的集閤論
7.10 GCH和基數的相對性
7.11 力迫法
7.12 力迫法簡述
7.13 非可構成集閤
7.14 CH的獨立性
第八章 統一化和多樣化
8.1 證明論和Hilbert方案
8.2 構造主義
8.3 決定性公理
8.4 關於數理邏輯文獻的評論
8.5 分層和統一化
附錄A 骨牌遊戲與無窮性引理
1. 一些技巧性對策
2. Thue序列
3. 無窮性引理
4 單人骨牌遊戲(鋪磚問題)
5. 無窮性引理應用於骨牌遊戲
附錄B 算法與機器
1. 數值算法與非數值算法
2. 抽象機程序設計導言
3. 人的計算與實際的計算機
4. 計算的概念分析
5. 關於機器的五個對照
附錄C 抽象機
1. 有限狀態機器
2. Turing機
3. P機器(Turing機的程序錶述)
4. 不可解的鋪磚問題
5. 泰格係統和萊格係統
· · · · · · (
收起)
數理邏輯通俗講話 pdf epub mobi txt 電子書 下載
用戶評價
評分
☆☆☆☆☆
雖然是八十年代的的書,但內容放到今天也不過時,希望能夠再版。
評分
☆☆☆☆☆
報告匯編,一點也不通俗
評分
☆☆☆☆☆
很有意思,雖然讀不太懂,哈哈 絕對不適閤我這種業餘程度的人讀。 唉,有自知之明就好,嗬嗬
評分
☆☆☆☆☆
維特根斯坦搞的東西是垃圾——圖靈
評分
☆☆☆☆☆
維特根斯坦搞的東西是垃圾——圖靈
讀後感
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
類似圖書 點擊查看全場最低價
數理邏輯通俗講話 pdf epub mobi txt 電子書 下載 2025