國外高手給想做程序員人的7個建議[3]
]不要因為枯燥就不選修非計算機專業(yè)的課程
![國外高手給想做程序員人的7個建議[3]](https://p.9136.com/1w/l/b3ccd0f2d4b14_2.jpg)
想提高GPA績點的一個好方法就是多選修非計算機系的課程，
國外高手給想做程序員人的7個建議[3]
。請千萬不要低估你的GPA的重大意義。千千萬萬的人事經(jīng)理和招聘人員在拿到一份簡歷的時候，第一眼就會去看GPA，包括我也是這樣。我們不會為這種做法道歉。為什么？因為GPA不反映單個的成績，而是代表了許多個教授在一段很長的時間中，在不同的情況下，對你的表現(xiàn)的一個總的評估。SAT成績難道不夠嗎？哈，那只不過是一場幾個小時的測試罷了。GPA中包括了四年大學期間你的小論文、期中考試和課堂表現(xiàn)，總數(shù)有幾百次之多。當然，GPA也有自己的問題，不是百分之百準確。比如，這些年來，老師對學生的打分越來越寬松，學習成績有通貨膨脹的趨勢。再比如，GPA無法反映課程的難度，沒人能夠看出你的GPA是來自無名社區(qū)大學家政系的輕松課程還是來自加州理工學院針對研究生的量子力學課程。漸漸地，我形成了一套自己的做法，首先我會過濾掉所有來自社區(qū)大學、GPA低于2.5的簡歷，然后我會要求剩下的人給我寄成績單和推薦信。我再從中發(fā)現(xiàn)那些成績一貫優(yōu)秀的人，而不是那些僅僅在計算機系課程中得到高分的人。為什么我要關(guān)心某人的“歐洲歷史”課程成績呢，畢竟作為雇主我要找的應(yīng)該是程序員啊？何況，歷史是那么枯燥，不得高分很正常。哦，這么說來，你的意思是我應(yīng)該雇用你，而不用考慮一旦工作變得枯燥你會不會努力工作？別忘了，在編程工作中也有很枯燥的東西。每一項工作都有枯燥難耐的時刻。我不想雇用那些只想干有趣事情的人。
選修有大量編程實踐的課程
我依然清楚記得我發(fā)誓絕不讀研究生的那一刻，
資料共享平臺
《國外高手給想做程序員人的7個建議[3]》(http://www.ishadingyu.com)。那是在一門叫做“動態(tài)邏輯”的課程上，教師是活力十足的耶魯大學教授Lenore Zuck，她是計算機系那些聰明的老師中最聰明的人之一。如今， 由于記憶力糟糕， 我已經(jīng)差不多把這門課的內(nèi)容忘光了，但是不管怎么說，在這里我還是想要對付著說一下。大致上，形式邏輯的意思是說，如果條件成立，你就能證明結(jié)論也成立。比如，根據(jù)形式邏輯，已知“只要成績好，就能被雇用”，然后假定“Johnny的成績好”，你就可以得到一個嶄新的結(jié)論“Johnny會被雇用”.這完全是經(jīng)典方法。但是，一個解構(gòu)主義者（deconstructionist）只需要10秒鐘就能破壞形式邏輯中所有有用的東西。這樣一來，留給你的只是一些趣味性，而不是實用性。
現(xiàn)在再來說動態(tài)邏輯。它與形式邏輯其實是一回事，但是必須再多考慮時間因素。比如，“你打開燈之后，就能看見自己的鞋子”，已知“燈以前是亮的”，那么這就意味著“你看見了自己的'鞋子”.
對于像教授那樣聰明的理論家，動態(tài)邏輯充滿了吸引力，因為它看上去很有希望讓你在形式上證明一些計算機程序的相關(guān)理論問題。這樣做說不定很有用。比如，你可以用它在形式上證明，火星漫游車的閃存卡不會發(fā)生溢出（overflow）問題，不會因而整天一遍又一遍地重啟，耽誤了它在那顆赤紅色的星球上漫游尋找火星人馬文（Marvin the Martian）.
在第一堂課上，Zuck博士寫滿了整整兩面黑板，甚至黑板旁邊的墻上都寫上了很多證明步驟。需要證明的問題是，有一個控制燈泡的開關(guān)，現(xiàn)在燈泡沒有亮，這時你打開了開關(guān)，請證明燈泡將會點亮。
整個證明過程復雜得不可思議，處處都是陷阱，必須十分小心。保證這個證明不出錯太困難了，還不如直接相信打開開關(guān)燈就會亮。真的，雖然證明過程寫滿了許多塊黑板，但是還是有許多中間步驟被省略了，因為如果要從形式邏輯上完整證明所有步驟，那就瑣碎得無法形容了。許多步驟是用各種經(jīng)典的邏輯證明方法推導得到的，包括歸納法、反證法等，甚至有些部分還是由旁聽的研究生證明的。
留給我們的課后作業(yè)是證明逆命題：如果燈原來是關(guān)著的，現(xiàn)在卻亮了，那么請證明開關(guān)的狀態(tài)一定同原來相反。
【國外高手給想做程序員人的7個建議[3]】相關(guān)文章：