Herbert B.Enderton,哈佛大學博士,師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授,該校“邏輯學論壇”主席,曾擔任《符號邏輯學會評論》雜誌的主編。除本書外,他還著有另外兩本廣受好評的教材elements of set theory(影印版已經由人民郵電齣版社齣版)和linear algebra。
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
發表於2025-01-31
A Mathematical Introduction to Logic 2025 pdf epub mobi 電子書 下載
用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分今天偶然看到作者的訃告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emer...
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
評分用集閤論構建邏輯,看的我頭大。硬著頭皮讀吧。 當初買這本書,就是看中瞭第二章講瞭點無窮小分析。
圖書標籤: 數理邏輯 邏輯學 Mathematics Logic 數學 計算機 計算機科學 MathSetTheoryLogic
This book may be elegant and strict, but it makes me lose interests after countless confusing proves.
評分講得簡單習題難得要死!
評分2018春
評分修圖靈奬大神的課掃瞭一半多,其實書上講得還算蠻注重intuition和sign-posting的,但估計一般人自己看還是會費勁吧。。。Enderton 在 ucla 的主頁還保持著通信地址、郵箱、電話、最近教的課等信息,頁麵最上麵卻有一行顯得格格不入的“Herbert B. Enderton,1936 - 2010”,看得人不禁好傷感。。。
評分enderton寫東西真的好清楚好清楚...
A Mathematical Introduction to Logic 2025 pdf epub mobi 電子書 下載