学完以上各书之后，如果你还有精力兴趣进一步深究，那么可以试一下GTM系列中的《
Introduction to Axiomatic Set Theory》和《A Course of Mathematical Logic》。这
两本都有世界图书出版社的引进版。你如果能搞定这两本，可以说在逻辑方面真正入了门
，也就不用再浪费时间听我瞎侃了。
抽象代数，国内经典为莫宗坚先生的《代数学》。此书听说是北大数学系教材，深得
好评。然而对本科生来说，此书未免太深。可以先学习一些其它的教材，然后再回头来看
"代数学"。国际上的经典可就多了，GTM系列里就有一大堆。推荐一本谈不上经典，但却最
简单的，最容易学的http://www.math.miami.edu/~ec/book/这本"Introduction to Line
ar and Abstract Algebra"非常通俗易懂，而且把抽象代数和线性代数结合起来，对初学
者来说非常理想，我校比较牛的同学都有收藏。
数论方面，国内有经典而且以困难著称摹冻醯仁?邸?（潘氏兄弟著，北大版）。再追
溯一点，还有更加经典（可以算世界级）并且更加困难的"数论导引"（华罗庚先生的名著
，科学版，九章书店重印，繁体的看起来可能比较困难）。把基础的几章搞定一个大概，
对本科生来讲足够了。但这只是初等数论。本科毕业后要学计算数论，你必须看英文的书
，如Bach的"Introduction to Algorithmic Number Theory"。
计算机科学理论的根本，在于算法。现在很多系里给本科生开设算法设计与分析，确
实非常正确。环顾西方世界，大约没有一个三流以上计算机系不把算法作为必修的。算法
教材目前公认以Corman等著的《Introduction to Algorithms》为最优。对入门而言，这
一本已经足够，不需要再参考其它书。 深一点的就是大家作为常识都知道的TAOCP了。即
是《The Art of Computer Programming》3册内容全世界都能看下来的本身就不多，Gate
s曾经说过"若是你能把这书上面的东西都看懂，请把你的简历发给我一份"我的学长司徒彦
南兄就曾千里迢迢从美国托人买这书回来，别的先不说，可见这书的在我们计算机科学与
技术系中的分量。作者: smartboycn 时间: 2004-11-25 22:29 标题: Continue
再说说形式语言与自动机。我看过北邮的教材，应该说写的还清楚。有一本通俗易懂
的好书，MIT的sipser的 《introduction to theory of computation》。但是，有一点要
强调：形式语言和自动机的作用主要在作为计算模型，而不是用来做编译。事实上，编译
前端已经是死领域，没有任何open problems，北科大的班晓娟博士也曾经说过，编译的技
术已相当成熟。如果为了这个，我们完全没必要去学形式语言-------------用用yacc什么
的就完了。北邮的那本在国内还算比较好，但是在深度上，在跟可计算性的联系上都有较
大的局限，现代感也不足。所以建议有兴趣的同学去读英文书，不过国内似乎没引进这方
面的教材。可以去互动出版网上看一看。入门以后，把形式语言与自动机中定义的模型，
和数理逻辑中用递归函数定义的模型比较一番，可以说非常有趣。现在才知道，什么叫"宫
室之美，百官之富"！
[ Last edited by 怀恋在子夜 on 2004-11-26 at 06:52 PM ]作者: 怀恋在子夜 时间: 2004-11-26 18:56 标题: 剩下的我来补上吧
我一直认为，4年根本不够学习计算机的基础知识，因为面太宽了，8年，应该差不多了......
这方面我想先说说我们系在各校普遍开设的《计算机基础》。在高等学校开设《计算机基础课程》是我国高教司明文规定的各专业必修课程要求。主要内容是使学生初步掌握计算机的发展历史，学会简单的使用操作系统，文字处理，表格处理功能和初步的网络应用功能。但是在计算机科学系教授此门课程的目标决不能与此一致。在计算机系课程中目标应是：让学生较为全面的了解计算机学科的发展，清晰的把握计算机学科研究的方向，发展的前沿即每一个课程在整个学科体系中所处的地位。搞清各学科的学习目的，学习内容，应用领域。使学生在学科学习初期就对整个学科有一个整体的认识，以做到在今后的学习中清楚要学什么，怎么学。计算机基本应用技能的位置应当放在第二位或更靠后，因为这一点对于本系的学生应当有这个摸索能力。这一点很重要。推荐给大家一本书：机械工业出版社的《计算机文化》（New Perspective of Computer Science），看了这本书我才深刻的体会到自己还是个计算机科学初学者，才比较透彻的了解了什么是计算机科学。
关于人工智能，我觉得的也是非常值得大家仔细研究的，虽然不能算是刚刚兴起的学科了，但是绝对是非常有发展前途的一门学科。我国人工智能创始人之一，北京科技大学涂序彦教授（这老先生是我的导师李小坚博士的导师）对人工智能这样定义：人工智能是模仿、延伸和扩展人与自然的智能的技术科学。在美国人工智能官方教育网站上对人工智能作了如下定义：Artificial Intelligence, or AI for short, is a combination of computer science, physiology, and philosophy. AI is a broad topic, consisting of different fields, from machine vision to expert systems. The element that the fields of AI have in common is the creation of machines that can "think".
这门学科研究的问题大概说有：
我想对于人工智能的学习，大家一定不要像学数学似的及一些现成的结论，要学会分析问题，最好能利用程序设计实现，这里推荐给大家ACM最佳博士论文奖获得者涂晓媛博士的著作《人工鱼-计算机动画的人工生命方法》（清华大学出版社）。搞人工生命的同学不会不知道国际知名的涂氏父女吧。关于人工智能的书当然首选《Artificial Intelligence A New Synthesis》Nils J.Nilsson.鼻祖嘛！
必须结束这篇“胡侃”了，再侃下去非我力所能及。其实计算机还有很多基础课都值得一侃。怎奈我造诣有限，不敢再让内行耻笑。最后声明：这些只针对本科阶段的学习。即使把这些全弄通了，前面的路还长，计算机科学需要我们为之奋斗......学习计算机科学需要韧性，更需要创新，需要激情。深刻学习理论知识，勇于接受新技术的挑战，这才是我们这一代人应具有的素质。最后送大家一句话“Wake up every day with a feeling of passion for the difference technology will make in people's life!”。
