Herbert B.Enderton,哈佛大學博士,師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授,該校“邏輯學論壇”主席,曾擔任《符號邏輯學會評論》雜誌的主編。除本書外,他還著有另外兩本廣受好評的教材elements of set theory(影印版已經由人民郵電齣版社齣版)和linear algebra。
《數理邏輯(第2版)》適閤作為數學、哲學、計算機科學以及其他學科需要學習數理邏輯課程的本科生和研究生的教材。
發表於2024-11-22
數理邏輯 2024 pdf epub mobi 電子書 下載
用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
圖書標籤: 數理邏輯 數學 邏輯 邏輯學 計算機 計算機科學 數學基礎 經典
上課的時候讀過這本書 可以作為計算機專業的數理的入門書籍 沒有數學專業的數理邏輯那麼難懂
評分有很好的符號錶可以查
評分太抽象瞭!
評分用英文教材的時候對照翻過,部分名詞未采用國內常見譯名,印刷錯誤不少。
評分比較難懂哦 沒事多翻翻也挺有收益的
數理邏輯 2024 pdf epub mobi 電子書 下載