先列兩本書，有空的話暑假想掃一下。
都沒怎么讀過，不保證是好書～～～等我掃完了再決定是否推薦～～～
《近世代數(shù)概論》
http://www.douban.com/subject/2152447/對這本書看著順眼的原因是當時掃了一下，發(fā)現(xiàn)他涵蓋了目前為止所有的代數(shù)學知識（線性代數(shù)等）
感覺其線性代數(shù)部分比我們學的要難，但又不像數(shù)學系的《高等代數(shù)》那樣過多東東。
總得說來是代數(shù)學的通論。
配合一下那本《數(shù)學分析原理》，看起來很完美～～～
《數(shù)理邏輯》
http://www.douban.com/subject/1729578/還沒讀過，有空掃一下。
我實在是不理解為什么我們的數(shù)理邏輯要用泛代數(shù)來引入，其實本質上構造自由代數(shù)的過程就是數(shù)理邏輯的遞歸定義過程。
我承認構造自由代數(shù)的方式確實是個很漂亮的想法，但問題是，數(shù)理邏輯應該是最基本的體系吧（類似于集合論），它的用途是 1. 嚴密化直覺想法 2. 構造一套讓計算機來思考的系統(tǒng)。
對于(1)來說，拿泛代數(shù)來引入就很有問題，類似于用高等的東西論證最基本的東西，就好像我們拿現(xiàn)有的計算機來定義Turing Machine……而且我覺得泛代數(shù)在很大程度上分散了我們的注意力……。。。@_@
我記得《應用邏輯》中是使用表達式樹來引入的，然后還是有一些關于表達式樹的形式話定義和一些“看上去很顯然”的東東的證明的?；旧蠂烂苄赃€是得到保證的（其實本質上也是一個遞歸定義）。可惜那本書的重點不是傳統(tǒng)邏輯（你看名字都叫《應用邏輯》了是吧～）
考完試，終于可以把那本書給扔了。。。啦啦啦～～～
個人覺得對Mathematicas in Computer Science比Pure Mathematicas有愛的多。。。不知道為什么。。。@_@