姚院士轉,開始在黑板上板書。
沒有的程式語言,沒有C++的語法,也沒有Java的件。黑板上出現的,是一串串象的數學符號,是一個個由狀態機組的邏輯圖。
“假設我們有一條無限長的紙帶,一個讀寫頭……”
林天地盯著黑板。起初,他還能跟上。這是圖靈機的基本模型,他在暑假裡自學過一點。
但隨著課程的深,那些符號開始變得陌生而猙獰。
“P類問題”、“NP類問題”、“停機問題”、“哥德爾不完備定理”……
這些概念瞬間淹沒了林天。他覺自己不再是一個程式設計師,而是一個正在試圖理解宇宙終極奧義的小學生。
那些他引以為傲的程式設計技巧,那些關於迴圈、判斷、指標的作,在這裡完全派不上用場。這裡討論的是純粹的邏輯,是數學的哲學。
。宇周的桌同眼一了看頭轉他
”……移轉態狀個這釋解來論合集用以可來原……啊妙“:詞有唸唸還裡,式公著導推地快飛上紙在筆的中手,放眼兩正伙傢這
。話對的聲無種某行進士院姚和在彿彷,頭下一點微微時不時,板黑著看下著託是只,記筆記有沒他,來起了坐候時麼什道知不,立陳的覺睡著趴個那排前而
。頭心上襲慌恐的大巨種一,詞單的誤錯寫拼至甚的碎零行幾那上本記筆己自著看,頭下低天林
。懂不聽他
。懂不聽的真他但,分滿綜理,元狀科理省全是他
。力有更得揮頭拳把麼怎究研在還他而,則法道天論談、行飛劍在都家人。界世的仙修個一了進扔被然突,手高的拳家外子輩一了練個一是像就這
。絕人讓更都利失試考何任比,擊打維降的上度維種這
。長漫比無得變中熬煎的天林在,間時的課節一
。了溼全背後,樣一來出撈裡水從剛是像己自覺天林,時起響於終鈴課下當
。天林問頭轉,包書著拾收地興宇周”!了神直簡程過約歸個那得覺我?嗎了懂聽你,明證的題問全完PN於關個那的講士院才剛,天林,哎“
。張了張天林
。容笑個一出強勉他”。下一化消再要還……我“
。暈眩人讓得眼刺的面外,樓學教出走
。邊塘荷的華清了到走地噩噩渾渾人個一他。堂食去有沒也,舍宿回有沒天林
。水池的濁渾那有只裡眼刻此天林但。很景風,方地的》月塘荷《寫清自朱是裡這
。QQ啟開地練,蓋開,機手07N亞基諾的買剛學大上了為部那出拿他
。”師老楊“是人絡聯的頂置
:字行一下打裡框輸在他
”。懂不聽本我。了強太們他。行不我得覺我,師老“
。著抖,上鍵”送傳“在懸指拇
。話句那的說膀肩的他著拍宇明楊起想他
”。小更得己自把而小渺為因你是的怕。怕可不這但。小渺很己自現發會你,學大了到,天林“
”。慫能不但,輸以可,人的班41們我。的來出走班41是你,住記“
。氣口一了吸深,睛眼上閉天林
。意涼的秋初一有還,香清的葉荷著帶中氣空
。字的裡框輸了掉刪個個一他
:送發擊點,字行一了輸新重他,後然
”。樣一戲遊個那定搞年當像就。的它定搞會我但,奧深很課的士院姚,師老“
。利銳得變新重目,眼開睜天林,機手上合
?嗎學數是就不?嗎機靈圖是就不
?死嚇式公個幾被會還道難,元狀省考一第數倒校全從能年當子老
”。宇周“
。友室的面前了上追步快,轉天林
”。冊註麼怎我教教晚今,redoCpoT個那的說你,有還?看看記筆我借能不能你,明證的題問PN個那才剛“
”!麵冷烤的門西吃要我,宵夜吃我請得你過不!啊行“:容笑的厚憨個一了出,下一了愣宇周
”!蛋個兩加,題問沒“
。長很得拉被子影的年個兩,下夕








