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