本書介紹數理邏輯的基礎知識,包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集閤論)的共同基礎.
發表於2024-12-27
數理邏輯基礎(上冊) 2024 pdf epub mobi 電子書 下載
圖書標籤: 數理邏輯 邏輯學 數學 數理基礎 (舊版) 鬍世華 教材 計算理論
結構很棒,上冊逐漸構造各種自然推演係統,並完成對各係統的性質的分析和彼此的對比,最後截止於係統間的規約。在內容上逐漸遞進由淺到深,習題也是漸進的由易到難,很有層次感,也利於自學。
評分結構很棒,上冊逐漸構造各種自然推演係統,並完成對各係統的性質的分析和彼此的對比,最後截止於係統間的規約。在內容上逐漸遞進由淺到深,習題也是漸進的由易到難,很有層次感,也利於自學。
評分好像終於找到我們研究生教材所抄的母本瞭……看完纔發現這個再版的日期是2015年11月,所以說我考博那會兒也就隻能看晦澀版的自編教材瞭。寫得是真好,該解釋的通通都有解釋清楚。
評分結構很棒,上冊逐漸構造各種自然推演係統,並完成對各係統的性質的分析和彼此的對比,最後截止於係統間的規約。在內容上逐漸遞進由淺到深,習題也是漸進的由易到難,很有層次感,也利於自學。
評分好像終於找到我們研究生教材所抄的母本瞭……看完纔發現這個再版的日期是2015年11月,所以說我考博那會兒也就隻能看晦澀版的自編教材瞭。寫得是真好,該解釋的通通都有解釋清楚。
數理邏輯基礎(上冊) 2024 pdf epub mobi 電子書 下載