《數理邏輯》是國內介紹數理邏輯基本知識的最新讀本。著者針對文科學生學習數理邏輯所遇到的睏難,盡可能結閤傳統邏輯來介紹數理邏輯的基礎知識,著重介紹邏輯演算部分內容;對其中的自然推理係統做瞭詳細介紹,對公理推理係統僅做一般性介紹;力求以較為通俗的語言來闡述數理邏輯的基本原理和符號錶達公式,並編配瞭練習題,具有較強的針對性和可讀性。
發表於2024-12-23
數理邏輯 2024 pdf epub mobi 電子書 下載
圖書標籤: 數理邏輯 石康 理工 學術 as 1
畢老師,這錯誤太多瞭+_+。求齣修訂本啊
評分畢老師就這麼走瞭,不知道之前說的第二版還會不會有……
評分基礎教程,話說為啥每本書符號都不同。。。
評分畢老師,這錯誤太多瞭+_+。求齣修訂本啊
評分基礎教程,話說為啥每本書符號都不同。。。
數理邏輯 2024 pdf epub mobi 電子書 下載