如何学好计算机技术反思录

怎样擘好计算机技术反思录

计算机科学与技术道壹门科擘深深的吸引著我出¥

道些同阜相％上计算机系已余密有近三年了，自己也做了

某些思索，我壹直认卷计算机科擘与技术道门专业，在本

科阶段是不也^切提成计算机科擘和计算机技术的，由

于计算机科阜需要相称多的实践，而实践需要技术；每

壹种人（包括非计算机专业），掌握简朴的计算机技术都很

轻易（包括程序设计），但计算机专业的优势就在于，我

凭掌握吉午多其他专业并不“深究”的柬西，例如，算法，体

系构造，等等。非计算机专业的人可以很轻易地做壹种

芯片，写壹段程序，但他相弘故不出计算机专业可以做出

来的大型系统。今天我想专门^壹^计算机科擘，并将

重黠放在计算理论上。

计算机理论的壹种关键冏题——彳隹数^^起：

记得常年大壹入阜，每周六畤高等数阜，每天作

业不停（那日寺是六日工作制）。颇有些同擘惊呼走金昔了门:

咱相号道究竟念的是什么系？不金昔，你没走金昔门，造就是

计算机科擘与技术系。我国计算机科阜系裹的老式是培

养做擘术研究，尤其是理论研究的人（方向不兄得有冏

题，不谩做得不是那么尽如人意）。而计算机的理论研究,

^究竟了，如网络安全，图形图像阜，视频音频处理，

哪值I方向都与数擘有著很大的关系，虽然也言午是正统数

阜家眼裹非主流的数阜。道事我遢想阐明我的壹种观粘:

我相号都懂得，数阜是彳住实际生活常中抽象出来的理论，

人相号之因此要将实际抽象成理论，目的就在于想用抽象

出来的理论去更好的指导实践，有些数学研究乍者喜

欢用某些存的理论知识去推导若干条推论，殊不知其

壹：冏题考虑不全很也言午是彳固金昔误的推论，其二：他的

推论在实生活中找不到原型，不能指导实践。严格的

我并不是壹种理想主义者，政治^上学的理论联络

实际壹直是指导我阜习科阜文化知识的航襟（至少我认

卷搞计算机科擘与技术的应富本著道彳固方向）。

其实我凭计算机系阜数阜光季高等数擘是不够的

（幺密典的工科院校壹般都^的是高等数擘），我相号应常像

数阜系同样擘壹下数擘分析（清华计算机系^的仿佛就

是数擘分析），数阜分析适门科擘，咱凭擘计算机的人封

它有很复杂的感情。在于它是偏向于证明型的数擘^程,

造封我凭培养良好的分析能力极有协助。我的软件工程

阜导肺北工大数理擘院的王仪华先生就曾^教导谩我

ffL数擘系的擘生到软件企业中大多作软件设计与分析

工作，而计算机系的阜生做程序员的居多，原因就在于

数阜系的擘生分析推理能力，彳他所受训练的角度上要速

遽在我凭之上。常年出现的怪象是：计算机系擘生的

高中数阜基础在全校数壹数二（但愿没有冒犯其他系的同

»,教阜^畤数也仅次于数擘系，但擘完之彳发的效果却

不尽如人意。莫非都是阜生不努力吗，我看未兄得，方

向金昔了也^不壹定，其中原因何在，发人深思。

我他I人的浅兄是：计算机系的擘生，封数擘的规定

常然跟数擘系不壹样，跟物理类差异则更大。壹般非数

阜专业的所谓“高等数阜”，辗非是把数阜分析中较困难的

理论部分删去，强调套用公式计算而已。而封计算机系

来数阜分析凄用处最大的恰恰是被删去的理论部分。

得难听壹黠，封计算机系擘生而言，追求算来算去的

所谓“工程数阜”已^彻底地走暹了误区。记上壹堆曲面积

分的公式，莫非就能算懂了数擘？那倒不如现用现查，

何须费事记呢？再否则直接用Mathematics或是

Matalab好了。

我在系凄最爱做的事情就是女台阜弟阜妹优推荐参

照善。中文的数擘分析害，壹般都认悬以北大张筑生老

白币的“数阜分析新讲”卷最佳。离壹你的数阜实在太好，那

就去看菲赫金哥尔茨的“微积分阜教程”好了-但我认卷没

什么必要，毕竟你不想转到数阜系去。吉米多维奇的“数

阜分析习题集”也基本上是计算型的柬束。害的名气很大,

倒不见得适合我倒，it是那句话，重要的是数阜思想的

建立，生活在信息社畲裹我件?求的是高效，计算it玩意

遢是留幺合计算机吧。不遇目前多用的似乎是复旦大擘的

《数阜分析》也是很好的教材。

中国的所谓高等代数，就等于线性代数加上壹黠多

项式理论。我认卷道有好的壹面，由于可以让阜生较早

感^到代数是壹种构造，而非壹堆矩阵翻来覆去。道裹

不得不提南京大擘林成森，盛松柏两位老肺编的“高等代

数”，感^相称舒适。此害相称全面地包括了有关多项式

和线性代数的基本初等成果，同步遢提供了某些有用的

又比较深刻的内容，如Sturm序列，Shermon-Morrison

公式，广义逆矩阵等等。可以作卷本科生如能吃透

此害，就可以算高手。国内很好的高等代数教材尚有清

华计算机系用的那本，清华出版社出版，害店裹多多，

壹看就懂得。彳隹抽象代数的观黠来看，高等代数裹的成

果不谩是代数系统性质的某些例子而已。莫宗坚先生的

《代数阜》封此迤行了深刻的讨论。然而莫先生的

害实在深得很，作卷本科生恐怕难以接受，不妨等到自

已彳菱来成熟了某些再

正如上面所论述的，计算机系的擘生擘习高等数擘:

知其然更要知其因此然。你擘习的目的应常是：将抽象

的理论再应用于实践，不仅要掌握题目的解题措施，更

要掌握解题思想，封于定理的擘习：不是简朴的应用，

而是掌握证明谩程即掌握定理的由来，训练自己的推理

能力。只有道样才到达了学习道门科学的目的，同步也

缩小了我杷号与数阜系的同擘之间思维上的差距。

概率论与数理记录道门^很重要，可惜大多数院校

讲授it门^都畲少些柬西。少了的柬西目前看至少有随

机遇程。到毕业遢没有听^^Markov遇程，此乃计算机

系阜生的耻辱。没有随机谩程，你怎么分析网络和分布

式系统？怎么设计随机化算法和协议？听^清华计算机

系^有“随机数颦'，早就是必修止匕外，离散概率论封

计算机系擘生来^有特殊的重要性。而我凭国家工程数

擘讲的都是持续概率。目前，美国已^有些擘校^设了

军纯的“离散概率论程，干脆把持续概率删去，把离散

概率讲深些。我凭不壹定要道样做，但应常愈加强调离

散概率是没有疑冏的。道他工作我看it是尽早的做卷好。

计算措施擘（有些擘校也称卷数阜分析擘）是最终

壹门由数理阜院太合我件号^的壹般阜生封道门^的重

视程度有限，认卷没什么用。不就是照套公式嘛！其实,

做图形图像可离不^它，密码擘搞深了也离不^它。并

且，在诸多科擘工程中的应用计算，都以数值的卷主。

道门^有两他极端的讲法：壹种是古典的“数值分析”，完

全讲数擘原理和算法；另壹种是目前日趋流行的“科阜与

工程计算”，干脆教阜生用软件包编程。我偃I人认卷，计

算机系的阜生壹定要认识清晰我ri计算机系的擘生卷何

要擘道门我是很偏向于擘好理论彳爱用计算机实IB的,

最佳使用C^言或C++编程实II。向适值I方向努力的善

籍it是挺多的，造裹推荐大家高等教育出版社(CHEP)

和施普林格出版社(Springer)联合出版的《计算措施

(ComputationalMethods)》，华中理工大擘数擘系写的

(现华中科技大阜)，11方面华科大做的工作在国内应算

是比较多的，而偃I人认卷以道本最佳，至少程序设计方

面波及了：任意数擘函数的求值，方程求根，线性方程

组求解，插值措施，数值积分，埸微分方程数值求解。

李庆扬的那本则理论性谩强，与实际应用结合得不太紧。

每彳固阜校本系事都曾^壹门离散数阜，波及集合论,

图论，和抽象代数，数理逻辑。不谩，道样多内容挤在

离散数擘壹门^裹，与否畤间太紧了黠？此外，计算机

系擘生不懂组合和数论，也是巨大的缺陷。要做理论，

不懂组合或者数论吃亏可就太大了。彳俭理想的状态来看,

最佳分^六门集合，逻辑,图论，组合，代数，数论。

il彳固常然不现实，由于没那么多^畤。也^未来可以

三门集合与逻辑，图论与组合，代数与数论。（道方

面我优阜校已^著手^始做了）不管言果怎么阜生^

同样要学。下面分别言炎^上面的二组内容。

古典集合论，北白币大出谩壹本《基础集合论》不当昔。

数理逻辑，中科院软件所陆钟离专家的《面向计算机科

擘的数理逻辑》就不金音。目前可以找到陆钟离专家的讲

^录像，。^的来擘集合/逻辑起手不难，壹般高中生

都能看懂。但越往彳爰越感受深不可测。

擘完以上各善之彳爰，假如你尚有精力爱好深入深究,

那么可以试壹下GTM系列中的《Introductionto

AxiomaticSetTheory》和《ACourseofMathematical

Logic》。适两本均有世界图耆出版社的引迤版。你假如能

搞定II两本，可以^在逻辑方面真正入了门，也就不用

再挥霍畤间听我瞎侃了。

听^全中国最多只有三拾彳固人懂图论。此言不虚。

图论it柬束，技巧性太强，几乎每彳固冏题均有壹种独特

的措施，让人§1痛。不谩道也正是它魅力所在：只要你

有发明性，它就能给你成就感。我的导自币者兑，图论裹面

随便揪壹块束西就可以写篇论文。大家可以体畲裹面内

容之深广了吧！国内的图论耆中，王树禾老白币的“图论及

其算法”非常成功。首先，其内容在国内教材裹算非常全

面的。另首先，其封算法的强调非常适合计算机系（本来

就是科大计算机系教材）。有了道本善卷主，再参照几本

翻译的，如Bondy&Murty的《图论及其应用》，人民邮

重出版社翻译的《图论和霍:路网络》等等，就禹禹虎虎,

封本科生足够了。再深入，世界图善引迤有GTM系列的

“ModemGraphTheory”。此害确实^典！国内好象尚有

壹家出版了彳固翻译版。不遇，阜到道彳固层次，遢是^原

版好。搞定道本善，也襟志著图论入了门。

离散数阜方面我凭北京工业大擘试验擘院有偃I世界

级的专家，叫邵阜才，复旦大擘概率论毕业的，教谩高

等数擘，线性代数，概率论，最终转向离散数擘，出版

著作辗数，论文集新加坡有壹本，堪称^典，大家想阜

离散数阜的真谛不妨找来看看。道老白币的^我专门去听

谩，极^^典。不遇你要彳住他的不^意的话中去挖掘精

髓。在同他的交^常中我又深刻地发现壹种冏堰，虽^

邵先生写善辗数，但依他自己的^法每本都差不多，我

实在曼得惊讶，他^重要是有大纲的限制，不便多写。

造就难怪了，很少听^国外写善遢要根据彳固什么大纲（就

算有，内容也宽泛的多），不敢越雷池半步，道样不是看

谁的都同样了。外版的害好就好在11裹，最新的科技成

果裹面均有论述，别的先不言兑，至少是“紧跟日寺代的理论

知识”。

组合感受没有太适合的国产害。遢是^Graham和

Knuth等人合著的^典“详细数擘”吧，西安雷子科技大阜

出版社有翻译版。抽象代数，国内^典卷莫宗坚先生的

“代数学工此害是北大数擘系教材，深得好评。然而封本

科生来此害未免太深。可以先擘习某些其他的教材,

然彳爰再回^来看代数阜”。国际上的^典可就多了，GTM

系列事就有壹大堆。推荐壹本^不上^典，但却最简

军的，最轻易擘的：~ec/book/il本“Introductionto

LinearandAbstractAlgebra“非常通俗易懂，并且把抽象

代数和线性代数结合起来，封初擘者来^非常理想，我

校比较牛的同擘均有收藏。

数论方面，国内有幺圣典并且以困难著称的”初等数论

“（潘氏兄弟著，北大版）。再追溯壹黠，尚有愈加^典（可

以算世界级）并且愈加困难的”数论导引“（华罗庚先生的名

著，科擘版，九章耆店重印，繁体的看起来也^比较困

难）。把基础的几章搞定壹种大概，封本科生来讲足够了。

但造只是初等数论。本科毕业彳爰要擘计算数论，你必须

看英文的善,如Bach的“IntroductiontoAlgorithmic

NumberTheory”。

计算机科擘理论的主线，在于算法。目前诸多系裹

系台本科生^设算法设计与分析，确实非常封的。环顾西

方世界，大概没有壹种三流以上计算机系不把算法作卷

必修的。算法教材目前公认以Corman等著的

"IntroductiontoAlgorithms“卷最优。封入门而言，il壹

本已^足够，不需要再参照其他善。

再^^形式^言与自勤机。我看遇北邮的教材，应

写的遢清晰。不谩，有壹黠要强调：形式^言和自

勤机的作用重要在作卷计算模型，而不是用来做编译。

实际上，编译前端已^是死领域，没有任何open

problems,北科大的班晓娟博士也曾女窗兑谩，编译的技

术已相称成熟。假如卷了II偃I,我#4完全没必要去擘形

式^言--用用yacc什么的就完了。北邮的那本在国内遢

算比很好，不谩在深度上，在跟可计算性的联络上均有

较大的局限，琪代感也局限性。因此提议有爱好的同擘

去^英文害，不谩国内似乎没引迤道方面的教材。可以

去互勤出版网上看壹看。入门彳爰来，把形式言吾言与自勤

机中定义的模型，和数理逻辑中用递归函数定义的模型

比较壹番，可以^非常有趣。目前才懂得，什么叫“宫室

之美，百官之富”！

计算机科擘和数擘的关系有黠奇怪。二三拾年此前,

计算机科学基本上遢是数学的壹种分支。而目前，计算

机科擘拥有广泛的研究领域和众多的研究人员，在诸多

方面反谩来推迤数擘发展，优某种意义上可以^是孩子

晨得比嫣嫣it高了。但不管怎么样，道偃I孩子身上壹直

流著母亲的血液。造血液是themathematical

underpinningofcomputerscience（计算机科擘的数擘基

础），也就是理论计算机科阜。本来在柬方大阜城图善馆

中曾^看谩壹本七拾年代的译本（耆皮都没了，可我就

爱关注造种害），大概就叫《计算机数晕》。那本耆若是

放在常畤来讲决是壹本好害，但目前看来，涵盖的范围

遢算广，深度则差了言午多，不谩推荐大壹的擘生倒可以

看壹看，至少可以使你的计算数擘入入门。

最常和理论计算机科擘放在壹起的壹种筑I是什么？

答：离散数擘。道两者的关系是如此亲密，以至于它凭

在不少埸所下成卷同义言司。（道壹黠在前面的那本善中也

有体现）老式上，数阜是以分析卷中心的。数阜系的同

擘要擘习三四值I擘期的数擘分析，然彳爰是复变函数，实

变函数，泛函数等等。实变和泛函被诸多人认卷是代

数阜的入门。在物理，化阜，工程上应用的，也以分析

伴随计算机科阜的出现，某些此前不太受到重视的

数擘分支忽然重要起来。人凭发道些分支处理的数

擘螯寸象与老式的分析有明显的区别：分析研究的冏题处

理方案是持续的，因而微分，积提成卷基本的运算；而

造些分支研究的封象是离散的，因而很少有机曾迤行此

类的计算。人件肝性而称适些分支符‘离散数阜"。“离散数

的名字越来越响亮，最终导致以分析卷中心的老式数

擘分支被相封称持续数擘”。

离散数阜通遇几拾年发展，基本上稳定下来。壹般

认商离散数擘包括如下擘科：

1）集合论，数理逻辑与元数擘。道是整彳固数擘的基

础，也是计算机科阜的基础。

2）图论，算法图论；组合数擘，组合算法。计算机

科擘，尤其是理论计算机科擘的关键是

算法，而大量的算法建立在图和组合的基础上。

3）抽象代数。代数是瓢所不在的，本来在数擘中就

非常重要。在计算机科阜中，人也1惊讶地发现代数居然

有如此之多的应用。

不谩，理论计算机科擘仅仅就是在数阜的上面加上

“离散”的帽子造样简朴吗？壹直到大概拾几年前，终于有

壹位大白市告诉我件％不是。D.E.Knuth（他有多伟大，我想

不用我废话了）在Stanford设了壹门全新的^程

ConcreteMathematicsoConcreteil彳固器司在造裹有两层

含义：

首先:装寸abstract而言。Knuth认卷，老式数擘研究

的封象遇于抽象，导致封详细的冏题关怀不够。他埋怨

在研究中他需要的数阜往往并不存在，因此他只能

自己去发明某些数擘。^了直接面向应用的需要，他要

倡导“详细”的数擘。在造裹我做壹黠简朴的解释。例如在

集合论中，数擘家关怀的都是最主线的冏题-公理系统的

多种性质之类。而某些详细集合的性质，多种常兄集合,

关系，映射都是什么样的，数阜家受得并不重要。然而,

在计算机科擘中应用的，恰恰就是造些详细的柬西。

Knuth可以首先看到造壹黑占，不愧卷富世计算机第壹人。

另壹方面，Concrete是Continuous（持续）加上

discrete（离散）。不管持续数擘遢是离散数阜，都是有用

的数擘！

理论与实际的结合—计算机科擘研究的范围

前面重要是优数阜角度来看的。彳於计算机角度来

看，理论计算机科擘目前重要的研究领域包括：可计算

性理论，算法设计与复杂性分析，密码擘与信息安全，

分布式计算理论，并行计算理论，网络理论，生物信息

计算，计算几何擘，程序^言理论等等。道些领域互相

交叉，并且新的^^在不停提出，因此很难理出壹种^

绪来。想搞搞造方面的工作，推荐看中国计算机擘曾的

壹系列耆籍，至少代表了我国的权威。下面随便举某些

例子。

由于应用需求的推迤，密码阜目前成卷研究的热

黠。密码擘建立在数论（尤其是计算数论），代数，信息论,

概率论和随机谩程的基础上，有畴也用到图论和组合阜

等。诸多人认卷密码擘就是加密解密，而加密就是用壹

种函数把数据打乱。造样的理解太浅显了。

现代密码擘至少包括如下层次的内容：

第壹，密码擘的基础。例如，分解壹种大数真的很

困难吗？能否有壹般的工具证明协议封的？

第二，密码擘的基本^题。例如，比此前更好的军

向函数，签名协议等。

第三，密码擘的高级冏题。例如，零知识证明的房

度，秘密分享的措施。

第四，密码擘的新应用。例如，数字金，叛徒追

踪等。

在分布式系统中，也有诸多重要的理论冏题。例如,

迤程之间的同步，互斥协议。壹种^典的成果是：在通

信信道不可靠畤，没有确定型算法能实现迤程间协同。

因此，改善TCP三次握手几乎没故意义。例如畤序冏题。

常用的壹种序是因果序，但因果序直到很快前才有壹种

理论上的成果….例如，死锁没有实用的措施能完美地堂寸

付。例如,……操作系统研究谩就自己去举吧！

假如计算机只有理论，那么它不谩是数阜的壹种分

支，而不成卷壹门独立的科擘。实际上，在理论之外，

计算机科擘尚有更广阔的天空。

我壹直认悬，4年主线不够擘习计算机的基础知识，

由于面太宽了……

造方面我想先^言兑我相号系在各校普遍^设的《计算

机基础》。在高等阜校^设《计算机基础^程》是我国高

教司明文规定的各专业必修程规定.重要内容是使阜

生初步掌握计算机的发展历史，擘曾简朴的使用操作系

统，文字处理，表格处理功能和初步的网络应用功能。

不谩在计算机科擘系专家此门^程的目的决不能与此壹

致。在计算机系器果程中目的应是：让擘生较悬全面的理

解计算机擘科的发展，清晰的把握计算机擘科研究的方

向，发展的前沿即每壹种程在整他阜科体系中所处的

地位。弄清各阜科的擘习目的，擘习内容，应用领域。

使阜生在阜科^习初期就封整他学科有壹种整体的认

识，以做到在此彳爰的学习中清晰要学什么，怎么学。计

算机基本应用技能的位置应常放在第二位或更靠彳度，由

于道壹黠量寸于本系的擘生应常有造偃I探索能力。道壹黠

很重要。推荐给大家壹本害：机械工业出版社的《计算

机文化》(NewPerspectiveofComputerScience),看

了道本善我才深刻的体曾到自己遢是倜计算机科擘初擘

者，才比较透彻的理解了什么是计算机科擘。此外在厦

门大擘赵致琢老白币的著作《计算科擘导论》常中的诸多

^典理论都是在同类善籍中很难找到的。看看他也^你

才曾明白壹种最基本的冏题：卷何计算机科擘叫计算科

擘更卷精确。道本善在世界上也可成卷精品级的著作。

壹种壹流计算机系的优秀阜生决不该仅仅是壹种编

程高手，但他壹定首先是壹种编程高手D我上大阜的畤

候，第壹门专业^是言程序设计，念计算机的人彳性

某种角度讲相称壹部分人是靠写程序吃饭的。在我凭北

京工业大阜试验擘院计算机系裹壹直有适样的争论(畤

至今曰CSDN上也有)，有关第壹程序设计言吾言该用哪壹

种。我偃I人认悬，用哪种言吾言属于末节，关键在养成良

好的编程习惯。常年老肺封我^打好基础彳发擘壹门

新^言只要壹种星期。目前我受得主线不用壹种星期，

前提是先把基础打好。不要再踌躇了，擘了再ML等你

抉择好了，他人已^^了几门^言了。

汇编言吾言和微机原理是两门特烦人的你的数擘/

理论基础再好，也占不到什么廉价。道两门^之间的次

序也好比先有鸡it是先有蛋，辗论你先阜哪门，都曾牵

扯另壹门^^的柬西。因此，只能静下来慢慢揣摩。51

就是^典的工程1^,不需要太多的聪颖和顿悟，却需要

水滴石穿的渐悟。有关道两门言果的耆，计算机耆店裹不

难找到。弄儿本最新的，封照著看吧。构成原理推荐《计

算机构成与构造》清华大擘王爱英专家写的。汇编^言

大家拿8086/8088入彳固门，之彳灸壹定要擘80x86汇编^

言。实用价值大，不落彳爰，构造又好，写写高效病毒，

高级^言裹嵌壹罢占汇编，迤行底层^发，也离不^他,

推荐清华大阜沈美明的《旧M—PC汇编^言程序设计》。

有人^不想理解计算机体系构造，也不想制造计算机，

因此诸如计算机原理，汇编者吾言，接口之类的^^得没

必要擘，道样合理吗？显然不合理，11些束西迟早得掌

握，肯定得接触，并且，道是计算机专业与其他专业擘

生相比的少有的几项优势。做项目的畤候，理解道些是

非常重要的，不也^!您仅仅卷了技术而技术，只懂技

术的人最多做壹种编码工人，而永逮不也言午全面地理解

整彳固系统的设计，而编码工人是越老越不值钱。有关构

成原埋尚有偃I讲授的冏题，在我阜道门程畤老肺讲授

畤把CPU工作原理誉微程序设计道壹块略掉了，理由是

我机2国家搞CPU技术不如别的国家，搞了适样房畤间好

不轻易出了偃I龙芯比Intel的it差彳固拾葛八仟裹，因此提

议我件号不要擘了。我看造在各校也未兄得不是彳固冏题吧!

若真是如他所那中国的计算机科阜哪他1方向都可以

停了，软硬件，应用，有几项搞得谩美国，搞不遇他人

就不搞了，那我杷号坐在道裹干什么？教擘的观念需要转

变的。

模拟雷路适柬束，如今不仅计算机系阜生搞不定，

重子系阜生也多半胆怯。假如你真想软硬件通吃，那么

提议你先看看邱关源的“雷路原理”，也^此彳爰再看模拟重

路底气曾足些。教材：康华光的“雷子技术基础”（高等教

育出版社）遢是不金昔的（我校霜子系在用）。有爱好也可

以参照童诗白的耆。

数字重路比模拟甯路要好懂得多。推荐大家看壹看

我凭北工大刘英娴专家写的《数字逻辑》'业绩人士都

造本害很有参照价值（机械工业出版社的）。原因很明了，

实用价值高，能听听她讲授的^程更是有壹种“享有科擘”

的感"1。清华大擘阎石的耆也算壹本好教材，遗憾的壹

黑占是集成雷路讲少了些。真有爱好，看壹看大规模数字

系统设计吧（北航那木用的遢比较多）。

计算机系统构造该怎么教，国际上it在争论。国内

能找到的很好教材卷Stallings的"Computer

OrganizationandArchitectureesigningfor

Performance"（清华景2E[1

本）。国际上最流行的则是“Computerarchitecture:

aquantitativeapproach",byPatterson&Hennessy。

操作系统可以随便选用《操作系统的内核设计与实

现》和《现代操作系统》两害之壹。造两部都可以算^

典，唯壹缺陷就是理论上不够严格。不谩道领域属于

HardcoreSystem,因此在理论上禹虎壹黑占也情有可原。

想看理论方面的就推荐清华大擘出版社《操作系统》吧，

高教司司是张尧阜写的，我凭教材用的是那本。此外推

荐壹本《Windows操作系统原理》机械工业出版社的，

道本善是我国操作系统专家在微软零距离考察六彳固月，

写作历畤壹年多写成的，教操作系统的专家除了清华大

擘的张尧擘（现高教司司晨）几乎所有人都参与了。Bill

Gates亲自写序。裹面不仅系吉合windows,xp详述操作系

统的内核，并且背面讲了某些windows编程基础，有外

版善的味道，并且上面某些内容可以^在国内外只有那

本善才有封windows内核细致入微的简介，

假如先把形式言吾言擘好了，则编译原理中的前端我

看只要擘四偃I算法：最轻易实现的递归下降；最佳的自

顶向下算法LL（k）；最佳的自底向上算法LR（k）；LR（1）

的简化SLR（也第F尚有另壹简化LALR）o彳爰端完全属于工

程性质，自然又是anotherstoryo

推荐教材：KennethC.Louden写的“Compiler

ConstructionPrinciplesandPractice”即是《编译原理及

实践》（机械工业出版社的译本）

擘数据库要提醒大家的是，畲用VFP,VB,Power

builder不等于懂数据库。（道世界上自认卷懂数据库的人

太多了！）数据库设计既是科阜又是艺术，数据库实则

是^典的工程。因此彳险某种意义上讲，数据库是最^典

的壹门计算机^程——理工结合，互相渗透°此外推荐

大家阜完软件工程阜彳度再翻谩来看看数据库技术，又曾

是壹番新感矍:。推荐教材：AbrahamSilberschatz等著

的“DatabaseSystemConcepts".作悬知识的完整性，il

推荐大家看壹看机械工业出版社的《数据仓库》译本。

计算机网络的原则教材it是来自Tanenbaum的

《ComputerNetworks》（清华大阜有译本）。尚有就是推

荐萧士希仁的《计算机网络教程》（人民邮雷:出版社）冏题

讲得比较清晰，参照文献也比较权威。不谩，网络也属

于HardcoreSystem,因此光看耆是不够的。提议多

RFC,o彳隹IP的^起。等到能掌握10种左右常用协议，

就没有几种人敢小看你了。再做的工作我看放在网络设

计上就比很好了。

数据构造的重要性就不言而喻了，擘完数据构造你

曾封你的编程思想暹行壹番革命性的洗礼，曾封怎样建

立壹种合理高效的算法有壹种清晰的认识。封于算法的

建立我想大家应常注意如下儿黠：

常碰到壹种算法冏题畤,首先要懂得自己此前有瓢处

理谩造种冏题,假如见谩，那么你壹般畲顺利地做出来;假

如没兄谩,那么考虑如下冏题：

1.冏题与否是建立在某种已知的熟悉的数据构造

（例如，二叉树）上?假如不是，则要自己设计数据构造。

2.冏题所规定编写的算法属于如下哪种类型？（建立

数据构造,修改数据构造，遍历，查找:排序…）

3.分析冏题所规定编写的算法的数擘性质.与否具

有递归特性？（封于递归程序设计，只要设计出合理的参数

表以及递归结束的条件，则基本上大功告成.）

4.继续分析冏题的数阜本质,根据你此前的编程区监

验，设想壹种也言午是可行的处理措施，并证明道种处理措

施的封的性.假如题目封算法有H寺空方面的规定,证明你

的设想满足其规定,壹般的,畤间效率和空间效率难以兼

得.有畤必须通谩建立辅助存储的措施来节省畤间.

5.通谩壹段畤间的分析，你封处理道彳固冏题已^有

了自己的某些思绪.或者你已^可以用自然^言把你

的算法简朴描述出来.继续验证其封的性,努力发现其中

的金昔误并找出处理措施.在必要的畴候（发琪了辗法处理

的矛盾），推翻自己的思绪，彳定始构思.

6.确认你的思绪可行彳奏来始编写程序.在编写代

码的谩程中，尽量把多种冏题考虑得详细调密.程序应常

具有良好的构造，并且在关键的地方配有注释.

7.举壹种例子,然彳灸在冬氏上用笔执行你的程序，深入

验证其封的性.常碰到与你的设想不符的状况畤，分析冏

题产生的原因是编程方面的冏题遐是算法思想自身在冏

8•假如程序通谩了上述封的性验证，那么在将其深

入优化或简化。

9•撰写思绪分析,注释.

封于详细的算法思绪，只能靠你自己通谩自己的知识

和^验来加以获得,没有什么特定的规律（否则程序员所

有可如下岗了，用机器自勤生成代码就可以了）.要有丰富

的想象力，就是言兑常壹条路走不通畴,不要钻牛角尖，要勇

于推翻自己的想法.我也只不谩是初学者若兑出上面的某

些^验，仅供大家参照和讨论。

有关人工智能，我受得的也是非常值得大家仔细研

究的，虽然不能算是刚刚兴起的擘科了，不谩绝堂寸是非

常有发展前途的壹门阜科。我国人工智能创始人之壹，

北京科技大阜涂序彦专家（道老先生是我的导肺李小坚

博士的导肺）封人工智能造样定义：人工智能是模仿、

延伸和扩展人与自然的智能的技术科擘。在美国人工智

能官方教育网站上封人工智能作了如下定义：Artificial

Intelligence,orAlforshort,isacombinationof

computerscience,physiology,andphilosophy.Alisa

broadtopic,consistingofdifferentfields,frommachine

visiontoexpertsystems.Theelementthatthefieldsof

Alhaveincommonisthecreationofmachinesthatcan

“think".

it门阜科研究的冏题大概言兑有：

（1）符号主义：符号计算与程序设计基础，知识

体现措施：知识与思维，产生式规则，言吾意网络，壹阶

谓箭］逻辑冏题求解措施：搜索方略，启发式搜寻，搜寻

算法，冏题规约措施，谓言词演算：归结原理，归结谩程

专家系统：建立专家系统的措施及工具

（2）联接主义（神^网络阜派）：1988年美国权威

机构指出：数据库，网络发展呈直线上升，神^网络也

言午是处理人工智能的唯壹途径。

我想封于人工智能的擘习，大家壹定不要像擘数阜

似的及某些现成的结论，要擘畲分析冏题，最佳能运用

程序设计实现，道裹推荐给大家ACM最佳博士论文奖获

得者涂晓媛博士的著作《人工鱼一计算机勤画的人工生

命措施》（清华大擘出版社）。搞人工生命的同阜不曾不

懂得国际著名的涂氏父女吧。有关人工智能的耆常然首

选《ArtificialIntelligenceANewSynthesis》Nils

J.Nilsson.鼻祖嘛！

有关网络安全我也想在道裹者允两句，伴随计算机技

术的发展，整值I社曾的信息化水平突飞猛暹，计算机网

络技术日新月异，网络成了常即社曾各他工作领域不可

缺乏的构成部分，只要有网络存在，网络安全冏题就是

壹种必须处理好的冏题，擘习网络安全不是简简朴军的

搜集某些黑客工具黑壹黑他人的网站，而是要擘习他的

数擘原理，实垣原理，弄清底层工作机制，造样才能处

理大部分的既有冏题和新出II的安全冏题。

有关计算机科擘的某些边缘科擘我想音炎壹音炎软件工

程技术，封于壹种企业，推出软件是不是就是几种程序

员坐在壹起，你写壹段程序，我写壹段程序呢？显然不

是。软件工程是^典的计算机科擘和数学，管理科阜，

心理擘，社畲阜等阜科的综合。它使我凭道些搞理论和

技术的人迤入了壹种社含。你所要考虑的不仅仅是程序

的优劣，更应常考虑程序与软件的区别，软件与软件产

品的区别，软件软件产品的市埸前景，怎样去更好的与

人交流。道方面我遢在擘习阶段，彳爰来道方面再写文章

吧，先推荐余合大家几本善：畅销不衰的《人月神话》（清

华大擘中文版，中国雷力出版社影印版），《软件工程•实

践者研究的措施》（机械工业出版社译本），《人件》（听

^每壹位微软企业的部门^理都^谩道本善，推荐老余鼠

俨J和想富老^的同擘都看看，理解壹下什么是软件企一业

中的人）以及微软企业的《软件^发的科擘与艺术》和

《软件企业的管理与文化》（研究软件企业的制胜之道常

然要研究微软的成功^验了！）

有关计算机技术的阜习我想是道样的：阜校^设的

任何壹门科阜均有其滞彳爰性，不要^认卷自己掌握的某

门技术就已^是天下辗敌手了，虽然目前

Java,VB,C,C++用的都诸多，怎能保证没有被淘汰的壹

天，我想.NET平台的诞生和X编吾言的初兄端倪完全可

以阐明冏题。换言之，在我凭掌握壹门新技术的同步就

又有更新的技术产生，身卷代的大擘生应常有紧跟科

阜发展的素质。举偃I例子，就像有些同学固恩^,我做网

页设计就喜欢直接写html,不乐意用什么

Frontpage,Dreamweavero能用言吾言写网页常然很好，

但有高效的手段你卷何不使呢？仅仅是卷了显示自己的

水平高，unique?我看真正水平高的是可以以最快的速

度接受新事物的人。高级程序设计言吾言的发展曰新月异,

此彳度的程序设计就像人凭在^话同样，我想大家彳住xml

中应是有所体曾了。莫非我相号真就写彳固什么都要用汇编,

以显示自己的水平高，真是道样倒不如直接用机器言吾言

写算了。反谩来言兑，想要以最快的速度接受并运用新技

术关键遢是在于你封计算机科擘地把握程度。

计算机技术牵扯的内容更卷广泛些，壹项壹项