國外高手給想做程序員人的7個建議[3]

不要因為枯燥就不選修非計算機專業(yè)的課程

想提高GPA績點的一個好方法就是多選修非計算機系的課程。請千萬不要低估你的GPA的重大意義。千千萬萬的人事經(jīng)理和招聘人員在拿到一份簡歷的時候，第一眼就會去看GPA，包括我也是這樣。我們不會為這種做法道歉。為什么？因為GPA不反映單個的成績，而是代表了許多個教授在一段很長的時間中，在不同的情況下，對你的表現(xiàn)的一個總的評估。SAT成績難道不夠嗎？哈，那只不過是一場幾個小時的測試罷了。GPA中包括了四年大學(xué)期間你的小論文、期中考試和課堂表現(xiàn)，總數(shù)有幾百次之多。當(dāng)然，GPA也有自己的問題，不是百分之百準(zhǔn)確。比如，這些年來，老師對學(xué)生的打分越來越寬松，學(xué)習(xí)成績有通貨膨脹的趨勢。再比如，GPA無法反映課程的難度，沒人能夠看出你的GPA是來自無名社區(qū)大學(xué)家政系的輕松課程還是來自加州理工學(xué)院針對研究生的量子力學(xué)課程。漸漸地，我形成了一套自己的做法，首先我會過濾掉所有來自社區(qū)大學(xué)、GPA低于2.5的簡歷，然后我會要求剩下的人給我寄成績單和推薦信。我再從中發(fā)現(xiàn)那些成績一貫優(yōu)秀的人，而不是那些僅僅在計算機系課程中得到高分的人。

為什么我要關(guān)心某人的“歐洲歷史”課程成績呢，畢竟作為雇主我要找的應(yīng)該是程序員��？何況，歷史是那么枯燥，不得高分很正常。哦，這么說來，你的`意思是我應(yīng)該雇用你，而不用考慮一旦工作變得枯燥你會不會努力工作？別忘了，在編程工作中也有很枯燥的東西。每一項工作都有枯燥難耐的時刻。我不想雇用那些只想干有趣事情的人。

選修有大量編程實踐的課程

我依然清楚記得我發(fā)誓絕不讀研究生的那一刻。那是在一門叫做“動態(tài)邏輯”的課程上，教師是活力十足的耶魯大學(xué)教授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)，請證明燈泡將會點亮。

整個證明過程復(fù)雜得不可思議，處處都是陷阱，必須十分小心。保證這個證明不出錯太困難了，還不如直接相信打開開關(guān)燈就會亮。真的，雖然證明過程寫滿了許多塊黑板，但是還是有許多中間步驟被省略了，因為如果要從形式邏輯上完整證明所有步驟，那就瑣碎得無法形容了。許多步驟是用各種經(jīng)典的邏輯證明方法推導(dǎo)得到的，包括歸納法、反證法等，甚至有些部分還是由旁聽的研究生證明的。

留給我們的課后作業(yè)是證明逆命題：如果燈原來是關(guān)著的，現(xiàn)在卻亮了，那么請證明開關(guān)的狀態(tài)一定同原來相反。

【國外高手給想做程序員人的7個建議[3]】相關(guān)文章：

職場做事三境界：想做、想做好、想做更好09-01

給沖刺保研人的幾點建議01-15

3月適合國外旅游的地方03-19

情場高手還是職場高手的心理測試09-06

讓人受益的國外名人名言11-23

高手是怎么說話的-高手的說話方法08-08

年輕人，別再眼高手低…勵志文章11-06

高手的說話方式10-04

高手的說話技巧10-05

稀里糊涂做了創(chuàng)始人的程序員09-23