计算机科学明明就是数学的一个分支，为什么还是和数学平等的一级学科呢？ 我想问一下，编程是属于数学的一个分支还是属于独立的学科？
\u6211\u60f3\u95ee\u4e00\u4e0b\uff0c\u8ba1\u7b97\u673a\u79d1\u5b66\u662f\u4e0d\u662f\u6570\u5b66\u7684\u4e00\u4e2a\u5206\u652f\uff1f\u8ba1\u7b97\u673a\u79d1\u5b66\u4e0d\u662f\u6570\u5b66\u7684\u5206\u652f\uff1b
\u8ba1\u7b97\u673a\u79d1\u5b66\u66f4\u591a\u7684\u5c5e\u4e8e\u5e94\u7528\u5de5\u7a0b\u5b66\u79d1\uff0c\u867d\u7136\u5b83\u9700\u8981\u5e94\u7528\u4e00\u4e9b\u5de5\u7a0b\u6570\u5b66\uff0c\u4f46\u6ca1\u6709\u6570\u5b66\u7406\u8bba\u6216\u65b9\u6cd5\u7684\u5f00\u62d3\u7684\u63a2\u8ba8\u548c\u7814\u7a76\uff0c\u6240\u4ee5\u8bf4\u4e0d\u4e0a\u662f\u5bf9\u6570\u5b66\u7684\u62d3\u5c55\u5b66\u79d1\u6216\u5206\u652f\u3002
\u7f16\u7a0b\u662f\u5c5e\u4e8e\u6570\u5b66\u7684\u4e00\u4e2a\u5206\u652f\uff0c\u662f\u6570\u5b66\u601d\u7ef4\u7684\u4e00\u79cd\u65b9\u6cd5\uff0c\u4e3b\u8981\u662f\u5229\u7528\u903b\u8f91\u548c\u7b97\u6cd5\u6765\u63d0\u51fa\u89e3\u51b3\u95ee\u9898\u7684\u601d\u8def\u3002
因为计算机科学只能算作数学体系的成果分支之一，就像子女和父母一样，就算关系再亲近，他们也是完全不同的两个人，毕竟孩子是会长大的。二三十年以前，计算机科学基本上还是数学的一个分
支。
而现在，计算机科学拥有广泛的研究领域和众多的研究人员，在很多方面反过来推动
数学发展，从某种意义上可以说是孩子长得比妈妈还高了。
但不管怎么样，这个孩子身上始终流着母亲的血液。这血液是the mathematical underpi
nning of computer science(计算机科学的数学基础)，-- 也就是理论计算机科学。
现代计算机科学和数学的另一个交叉是计算数学/数值分析/科学计算，传统上不包含在理
论计算机科学以内。所以本文对计算数学全部予以忽略。
最常和理论计算机科学放在一起的一个词是什么？答：离散数学。这两者的关系是如此密
切，以至于它们在不少场合下成为同义词。
传统上，数学是以分析为中心的。数学系的同学要学习三四个学期的数学分析，然后是复
变，实变，泛函等等。实变和泛函被很多人认为是现代数学的入门。在物理，化学，工程
上应用的，也以分析为主。
随着计算机科学的出现，一些以前不太受到重视的数学分支突然重要起来。人们发现，这
些分支处理的数学对象与传统的分析有明显的区别：分析研究的对象是连续的，因而微分
，积分成为基本的运算；而这些分支研究的对象是离散的，因而很少有机会进行此类的计
算。人们从而称这些分支为“离散数学”。“离散数学”的名字越来越响亮，最后导致以
分析为中心的传统数学分支被相对称为“连续数学”。
离散数学经过几十年发展，基本上稳定下来。一般认为，离散数学包含以下学科：
1) 集合论，数理逻辑与元数学。这是整个数学的基础，也是计算机科学的基础。
2) 图论，算法图论；组合数学，组合算法。计算机科学，尤其是理论计算机科学的核心是
算法，而大量的算法建立在图和组合的基础上。
3) 抽象代数。代数是无所不在的，本来在数学中就非常重要。在计算机科学中，人们惊讶
地发现代数竟然有如此之多的应用。
但是，理论计算机科学仅仅就是在数学的上面加上“离散”的帽子这么简单吗？一直到大
约十几年前，终于有一位大师告诉我们：不是。D.E.Knuth(他有多伟大，我想不用我废话了)在Stanford开设了一门全新的课程Concrete Mathematics。 Concrete这个词在这里有两层含义：
第一，针对abstract而言。Knuth认为，传统数学研究的对象过于抽象，导致对具体的问题
关心不够。他抱怨说，在研究中他需要的数学往往并不存在，所以他只能自己去创造一些
数学。为了直接面向应用的需要，他要提倡“具体”的数学。在这里我做一点简单的解释。例如在集合论中，数学家关心的都是最根本的问题--公理系统的各种性质之类。而一些具体集合的性质，各种常见集合，关系，映射都是什么样的，数学家觉得并不重要。然而，在计算机科学中应用的，恰恰就是这些具体的东西。Knuth能够首先看到这一点，不愧为当世计算机第一人。
第二，Concrete是Continuous(连续)加上discrete(离散)。不管连续数学还是离散数学，
都是有用的数学！
前面主要是从数学角度来看的。从计算机角度来看，理论计算机科学目前主要的研究领域
包括：可计算性理论，算法设计与复杂性分析，密码学与信息安全，分布式计算理论，并
行计算理论，网络理论，生物信息计算，计算几何学，程序语言理论等等。这些领域互相
交叉，而且新的课题在不断提出，所以很难理出一个头绪来。
下面随便举一些例子。
由于应用需求的推动，密码学现在成为研究的热点。密码学建立在数论(尤其是计算数论)
，代数，信息论，概率论和随机过程的基础上，有时也用到图论和组合学等。
很多人以为密码学就是加密解密，而加密就是用一个函数把数据打乱。这就大错特错了。
现代密码学至少包含以下层次的内容：
第一，密码学的基础。例如，分解一个大数真的很困难吗？能否有一般的工具证明协议正
确？
第二，密码学的基本课题。例如，比以前更好的单向函数，签名协议等。
第三，密码学的高级问题。例如，零知识证明的长度，秘密分享的方法。
第四，密码学的新应用。例如，数字现金，叛徒追踪等。
理论计算机科学是数学的分支。
但是你要是说“计算机科学”，那就包含理论、系统、工程、应用几部分。
就好比物理和数学的关系一样。
计算机实用性高
绛旓細鍥犱负璁＄畻鏈虹瀛鍙兘绠椾綔鏁板浣撶郴鐨勬垚鏋滃垎鏀箣涓锛屽氨鍍忓瓙濂冲拰鐖舵瘝涓鏍凤紝灏辩畻鍏崇郴鍐嶄翰杩戯紝浠栦滑涔熸槸瀹屽叏涓嶅悓鐨勪袱涓汉锛屾瘯绔熷瀛愭槸浼氶暱澶х殑銆備簩涓夊崄骞翠互鍓嶏紝璁＄畻鏈虹瀛﹀熀鏈笂杩樻槸鏁板鐨勪竴涓垎 鏀傝岀幇鍦紝璁＄畻鏈虹瀛︽嫢鏈夊箍娉涚殑鐮旂┒棰嗗煙鍜屼紬澶氱殑鐮旂┒浜哄憳锛屽湪寰堝鏂归潰鍙嶈繃鏉ユ帹鍔 鏁板鍙戝睍锛屼粠鏌愮鎰忎箟涓婂彲浠ヨ鏄瀛...
绛旓細鍒嗘暟鏈夊垎瀛愩佸垎姣嶅拰鍒嗘暟绾,姣斿:1/3,3鏄垎姣,1鏄鍒嗗瓙,涓棿涓妯槸鍒嗘暟绾裤 娲讳腑鏈夊緢澶氬湴鏂归兘瑕佺敤鍒板垎鏁,姣斿:涓鏈功鏈変笁鍗侀〉,姣忎竴椤垫槸涓鏈功鐨1/30銆傚垎鏁拌繕鍙互鐢ㄦ潵鍔犲噺鍛!姣斿:浜屽垎涔嬩竴鍔犱簩鍒嗕箣涓绛変簬浜屽垎涔嬩簩,涔熷氨鏄1銆備负浠涔堜細杩欐牱鍛?濡傛灉涓涓楗兼妸瀹冨钩鍧囧垎鎴愪袱浠,姣忎唤灏辨槸杩欎釜楗肩殑1/2,鍐嶆妸杩欎袱...
绛旓細鍏充簬璁＄畻鏈鍩虹钖勫急鐨勫悓瀛﹀浣曞揩閫熺殑鍐欎竴绡囨瘯涓氳鏂,鎴戜釜浜虹殑寤鸿鏄:鍋氬伐绋嬫х殑姣曚笟璁捐鍜岃鏂,鍒夌畻娉曠被鍨嬬殑璁烘枃,骞朵笉鏄洜涓虹畻娉曟枃绔犱笉濂芥按杩囧幓,鍏跺疄绠楁硶鐨勬枃绔犱篃闈炲父濂芥按杩囧幓,浣嗘槸鏈夐闄,褰撲綘鍋氱殑闈炲父姘寸殑鏃跺,渚嬪鐩存帴浠巊ithub鎽樻妱涓涓绠楁硶鐒跺悗鎶婄畻娉曠殑鍏紡鍝斿摡鍚у暒璁蹭簡涓閬,鑰佸笀閮芥槸涓鐪煎氨鐪嬫槑鐧界殑,浠栨兂鏀捐繃浣...
绛旓細杩欐椂,鎴戞亶鐒跺ぇ鎮:鍘熸潵,鏁板鍦ㄧ敓娲讳腑鏄竴鐩寸敤鍒扮殑,鎴戜互鍚庝竴瀹氳鏇村姫鍔涚殑瀛︿範鏇村鐨勬暟瀛︾煡璇嗐 鏁板鏃ヨ鎬庝箞鍐4 姣忓綋鎴戣蛋杩涙牎鍥,鐪煎墠灏变細鍑虹幇鍗佸垎閱掔洰鐨勪竴涓鐗屽瓙,涓婇潰鍐欑潃涓鍙ヨ瘽,閭ｅ氨鏄滃湪鐢熸椿涓鏁板,鍦ㄧ敓娲讳腑鐢ㄦ暟瀛︺傗濇槸鍟!鍦ㄧ敓娲讳腑鎴戜滑鎬讳篃绂讳笉寮鏁板,濡傛灉涓嶅涔犳暟瀛,灏变細闂瑰嚭璁歌澶氬鐨勭瑧璇濄 灏辨嬁鎴戜袱...
绛旓細鎴戠殑绠楀紡鏄:209=11脳19 19=2+17 11脳2脳17=374(绔嬫柟鍘樼背) 鍚庢潵,鎴戝張鐢ㄦ垜鏈鏈熷杩囩殑鐭ヨ瘑:鍒嗚В璐ㄥ洜鏁伴獙绠椾簡杩欓亾棰,缁撴灉涓妯′竴鏍枫 瑙ｅ嚭杩欓亾棰樺悗,鎴戝績閲屾瘮璋侀兘楂樺叴銆傛垜杩樻槑鐧戒簡涓涓閬撶悊:鏁板鍏呮弧浜嗗ゥ绉,绛夊緟鐫鎴戜滑鍘绘帰姹傘 鏁板鏃ヨ浜 鏈堟棩 鍛 浠婂ぉ鏅氫笂,鎴戠湅瑙佷竴閬撲細杩锋儜浜虹殑鏁板棰,棰樼洰:37涓悓瀛﹁...
绛旓細鐖哥埜杩炲繖瑙ｉ噴閬:鈥滀笉鏄垜浠埍绗戜綘,杩欐槸鍥犱负浣犳病鐞嗚В,娌″幓鎬濊鏁板涓殑鈥樺厓瑙掑垎鈥欍傞偅鎴戦棶浣犱袱寮犱簲瑙掔瓑浜庡灏戙傗 鈥滀竴鍏冦傗 鈥滈偅涓ゅ紶浜屽厓绛変簬澶氬皯?鈥 鈥滃綋鐒舵槸鍥涘厓鍠!鈥 鏈鍚,鎴戠粓浜庡湪鐖哥埜鐨勮В閲婁腑鏄庣櫧浜嗚嚜宸辩殑涓嶈鐪熴備粠姝ゆ垜鍐嶄篃娌＄姱杩囧悓鏍风殑閿欒銆 杩欎釜绗戣瘽,鎴戦兘涓嶄細蹇樿,瀹冪粰鎴涓涓鏁欒,姘歌繙鍗板湪...
绛旓細浠婂ぉ鎴戜滑鑰鏁板銆傛垜7鐐25鍒嗘潵鍒板鏍,涓杩涢棬,宸叉湁涓変綅鍚屽,浠栦滑璺熷骇浣嶄笂璇:鈥滀粖澶╄鑰冩暟瀛﹀暒!鈥濃滀及璁¤繖棰樿偗瀹氬緢闅俱傗濃滄椂闂翠篃涓嶇煡閬撴槸澶氬皯銆傗 鎴戞病鎻掕█,鍧愬埌搴т綅涓,鎷垮嚭鏁板涔﹂潤闈欏湴澶嶄範銆傛暟瀛﹁佸笀鏉ヤ簡,鍙戠瘒瀛,鍏堝彂绗竴寮,澶氭槸濉┖棰樸傝繕鏈6涓槸鍒楃珫寮忕殑,涓ら亾棰樿楠岀畻銆傚ソ浜涗汉鎶婇獙绠楅兘缁欎涪浜,鑰佸笀杩...
绛旓細鍥犱负涓浗鐨勯珮鏁版槸瀛︽瘺瀛愮殑锛屾瘺瀛愮殑楂樻暟鏄娆ф媺鐨勩傛鎷夊娲捐涓鏁板搴旇鏄弗璋ㄧ殑鏁板瓧璇佹槑锛岃岀編鍥芥暟瀛﹀彈鍒拌嫳鍥藉奖鍝嶆瘮杈冨锛屼粬浠涓烘暟瀛﹀氨鏄浘褰傛墍浠ユ垜浠浗瀹剁殑鏁板瓧娉ㄩ噸閫昏緫鎺ㄧ悊锛1+1=2閮借鍐欏嚭鍗婇〉绾稿嚭鏉ヨ瘉鏄庯紝鑰屼笖涓涓澶嶆潅鐨勭畻寮忔槸鍑犱箮鐪嬩笉鍑虹壒鐐圭殑锛屽ソ澶勫氨鏄紝鏁板鏄惧緱闈炲父涓ヨ皑涓嶄細鏈夐敊锛屽潖澶勫氨鏄...
绛旓細绗竴棰橈細鍙互鐪嬪嚭姣3涓暟涓缁勫舰鎴愰掑 杩欓亾棰樺彲浠ユ紨鍙樹负 锛1-1锛+锛4-1锛+锛7-1锛+鈥︹+锛97-1锛=锛熶篃灏辨槸3+6+9+鈥︹96=锛熻繖鏄涓涓閫掑涓3鐨勯掑鏁板垪锛屽彲鐢ㄥ叕寮弉(a+b)/2 鍗筹紙绗竴涓暟+ 鏈鍚庝竴涓暟锛*椤规暟/2 姝ら涓」鏁颁负 96/3=32椤癸紙鏄庣櫧涓嶏紵锛夊洜姝ょ瓟妗堬紙3+96锛*32/2...
绛旓細鍑芥暟鏄庢槑灏辨槸涓涓鏁扮粡杩囪繍绠楀緱鍒板彟澶栦竴涓暟鐨勮繃绋嬩絾鏄棦鐒舵槸鏁颁负浠涔堣鏈夊浘鍍忥紵绛旓細鍑芥暟鏄袱涓彉閲忕殑涓瀹氬叧绯荤殑琛ㄧ幇锛屽氨鏄嚜鍙橀噺x锛屼笌鍥犲彉閲忕殑鍙樺寲鍏崇郴锛鏈変竴涓鑷彉閲忓氨瀵瑰簲涓涓洜鍙橀噺锛岃繖鏍峰畠浠箣闂村氨鏈変簡鍙樺寲鍏崇郴锛屽浘鍍忓氨鏄弽鏄犺繖绉嶅彉鍖栧叧绯荤殑銆
