1. 課程
演算法，編譯原理，形式化，程式化設計語言
選修課：好的書，好玩的地方介紹
重要的點，實驗室的報告pdf，國外學者文件的製作--表達方式，學長的一些優秀的講課文件，好的表達方式，給聽講者好的視覺和理解
2. 碩士研究工作
邏輯驗證，cegar，自己相關文件，和**
blast， slam，d
以及自己講過的相關文件和ppt
學長們講的ppt相關文件
3. 蘇州培訓文件
coq相關的資料和**，artist暑期講習班
4. 本科畢業**相關資料
5. verds相關的資料
6. ocaml相關的資料
7. 車輛**
8. 多處理器
9. 邏輯驗證----
10. 模型檢測-----
11. 多處理器變成藝術
12. 工作簡歷
13. python
14. androri---師兄講
15. lex與yacc
研究生階段要注意的
一，時間要合理安排 一半時間做科研工作，一半時間看文獻 要多看文獻 多研究別人的思路，邊做邊思考 準備越充分，科研越順利 磨刀不誤砍柴工 在開始的幾步偷懶，將造成後面總有一些無法排除的障礙。分析 記錄要真實詳盡 人總有一點虛榮心。只把成功的步驟或漂亮的結果記錄下來，是很多人的做法。殊不知，許多寶貴經...
研究生階段的英語學習
1 擴充英語詞彙量 在研究生英語學習階段，英語詞彙量仍然很重要。不管是閱讀英語文獻，還是聽英語聽力 或者翻譯英語學術 都需要有足夠的詞彙量，並且詞彙量越豐富越好。就像我們寫中文文章一樣，同乙個意思有不同的表達方式，選擇最恰當的那一種，可以讓文章錦上添花。寫英語文章，不同的表達方式能夠產生不同的效果，...
研究生學習階段時間安排
1 第一學期 學習學期 主要目標是學習好各門基礎課程。因為不管以後是擇業或者考博，都需要學習成績和理論知識的支援。並且這一學期也是五個學期中同學們學習勁頭最濃的學期。2 第二學期 知識補充學期 經過第一學期基礎課的學習和對周邊環境的了解，同學們應該知道自己所缺乏的知識，在這個學期就應該好好惡補一下。...