A Mathematical Introduction to Logic 在線電子書 圖書標籤: 數理邏輯 邏輯學 Mathematics Logic 數學 計算機 計算機科學 MathSetTheoryLogic
發表於2024-12-22
A Mathematical Introduction to Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
修圖靈奬大神的課掃瞭一半多,其實書上講得還算蠻注重intuition和sign-posting的,但估計一般人自己看還是會費勁吧。。。Enderton 在 ucla 的主頁還保持著通信地址、郵箱、電話、最近教的課等信息,頁麵最上麵卻有一行顯得格格不入的“Herbert B. Enderton,1936 - 2010”,看得人不禁好傷感。。。
評分非常簡單的入門讀物,適閤速讀
評分修圖靈奬大神的課掃瞭一半多,其實書上講得還算蠻注重intuition和sign-posting的,但估計一般人自己看還是會費勁吧。。。Enderton 在 ucla 的主頁還保持著通信地址、郵箱、電話、最近教的課等信息,頁麵最上麵卻有一行顯得格格不入的“Herbert B. Enderton,1936 - 2010”,看得人不禁好傷感。。。
評分10年後重新捧起邏輯書
評分Solid introduction.
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.
用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑,看的我头大。硬着头皮读吧。 当初买这本书,就是看中了第二章讲了点无穷小分析。
評分今天偶然看到作者的讣告。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...
A Mathematical Introduction to Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024