(這篇文章引起很多爭論，我這裡只是**，學習用，別無他意；感謝所有為這篇文章做出貢獻的人。)
自己去看看吧。總的來說，學集合/邏輯起手不難，普通高中生都能看懂。但越往後越感覺深不可測。
學完以上各書之後，如果你還有精力興趣進一步深究，那麼可以試一下gtm系列中的《introduction to axiomatic set theory》和《a course of mathematical logic》。這兩本都有世界圖書出版社的引進版。你如果能搞定這兩本，可以說在邏輯方面真正入了門，也就不用再浪費時間聽我瞎侃了。
據說全中國最多只有三十個人懂圖論。此言不虛。圖論這東東，技巧性太強，幾乎每個問題都有乙個獨特的方法，讓人頭痛。不過這也正是它魅力所在：只要你有創造性，它就能給你成就感。我的導師說，圖論裡面隨便揪一塊東西就可以寫篇**。大家可以體會裡面內容之深廣了吧！國內的圖論書中，王樹禾老師的「圖論及其演算法」非常成功。一方面，其內容在國內教材裡算非常全面的。另一方面，其對演算法的強調非常適合計算機系(本來就是科大計算機系教材)。有了這本書為主，再參考幾本翻譯的，如bondy & murty的《圖論及其應用》，人民郵電出版社翻譯的《圖論和電路網路》等等，就馬馬虎虎，對本科生足夠了。再進一步，世界圖書引進有gtm系列的「modern graph theory「。此書確實經典！國內好象還有一家出版了個翻譯版。不過，學到這個層次，還是讀原版好。搞定這本書，也標誌著圖論入了門。
離散數學方面我們北京工業大學實驗學院有個世界級的專家，叫邵學才，復旦大學概率論畢業的，教過高等數學，線性代數，概率論，最後轉向離散數學，出版著作無數，**集新加坡有一本，堪稱經典，大家想學離散數學的真諦不妨找來看看。這老師的課我專門去聽過，極為經典。不過你要從他的不經意的話中去挖掘精髓。在同他的交談當中我又深刻地發現乙個問題，雖說邵先生寫書無數，但依他自己的說法每本都差不多，我實在覺得詫異，他說主要是有大綱的限制，不便多寫。這就難怪了，很少聽說國外寫書還要依據個什麼大綱（就算有，內容也寬泛的多），不敢越雷池半步，這樣不是看誰的都一樣了。外版的書好就好在這裡，最新的科技成果裡面都有論述，別的先不說，至少是「緊跟時代的理論知識」。
組合感覺沒有太適合的國產書。還是讀graham和knuth等人合著的經典「具體數學」吧，西安電子科技大學出版社有翻譯版。 抽象代數，國內經典為莫宗堅先生的「代數學」。此書是北大數學系教材，深得好評。然而對本科生來說，此書未免太深。可以先學習一些其它的教材，然後再回頭來看「代數學」。國際上的經典可就多了，gtm系列裡就有一大堆。推薦一本談不上經典，但卻最簡
單的，最容易學的：
電腦科學與技術反思錄
姓名 曾毅 oicq 101811267 電子郵件 zengyi820 hotmail.com 學歷 本科 大學三年級 專業 電腦科學與技術 個人愛好 計算機，英語 英語水平 大學英語六級，四六級考試口語加試優秀 經歷 微軟高校資訊交流中心基礎科學版版主 2001 2002北京工業大學實驗學院學習部...
電腦科學與技術反思錄
自己去看看吧。總的來說，學集合 邏輯起手不難，普通高中生都能看懂。但越往後越感覺深不可測。學完以上各書之後，如果你還有精力興趣進一步深究，那麼可以試一下gtm系列中的 introduction to axiomatic set theory 和 a course of mathematical lo...
計算機與電腦科學初識
1.為何要學習計算機與計算科學？這是乙個智慧型化與資料化的時代，計算解決自然社會問題，已經成為這個資料時代的基本需求了。而計算機自動化高效處理大量問題這種機器計算也已成為一種常態，為實現機器更好的自動計算，計算科學這門藝術便誕生了。計算科學從一種思維高度來決定我們對於計算的認知，讓我們更好把握計算的...