圖書標籤: 數理邏輯 數學 邏輯學 邏輯學 計算科學 數理邏輯(修訂版) 計算機 英文原版
发表于2024-11-22
數理邏輯 pdf epub mobi txt 電子書 下載 2024
@2017-08-31 20:53:07
評分比較適閤不做數理邏輯方麵研究的人去瞭解數理邏輯核心的一些基本內容,不是太深,習題偏少對自學不太方便,有些證明不是特彆嚴格(比如謂詞邏輯完全性定理有個彆地方),但可讀性高。
評分我們的教材,不錯
評分研究數學的數理邏輯 此書甚好 講的比老師好 缺點是容易從此自學兩周後落下進度 /* 這些年我們用豆瓣來整理學業 */
評分比較適閤不做數理邏輯方麵研究的人去瞭解數理邏輯核心的一些基本內容,不是太深,習題偏少對自學不太方便,有些證明不是特彆嚴格(比如謂詞邏輯完全性定理有個彆地方),但可讀性高。
hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
評分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
評分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
評分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
評分hamilton的书有中文版“数学家的逻辑”,翻译得不错。可惜的是,没有再版。 在大学图书馆应该有。
數理邏輯 pdf epub mobi txt 電子書 下載 2024