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