|
入学之前申请及课程准备
因学校招生政策调整，自2021年起，我只招收推免直博生和申请审核制普博生，以及海外和港澳台申请审核制的硕士生/博士生（注意2021年之后我不再招收推荐免试的硕士研究生）。
推荐免试条件：重点大学应届本科数学、应用数学、信息与计算科学、信息科学、计算机科学与技术、软件工程等专业优秀毕业生。
推荐免试的同学需取得所在学校保送资格。申请提交时间一般为每年4月（大三下学期），需先通过数学伊人直播
考试（面试或笔试+面试，近几年主要采用面试方式），通过后提前预录取，9月取得保研资格后转为正式录取，及9月（正常保送，取得保研资格后申请，面试通过后录取，但我近几年一般4月份就会招满），具体日期请关注北大研究生院和数学伊人直播
主页的通知，或联系数学伊人直播
研究生教务老师（010-62759855）并及时提交申请材料。申请者应有较好的数学或计算机科学基础，并对我的研究方向有一定了解和兴趣。
1. 希望推荐免试直博的同学：我所看重的是你对科研的兴趣、工作的态度以及从事研究的能力。相对于一张GPA 3.9～4.0的成绩单加上一堆竞赛获奖或奖学金的证书（这基本上是现在申请的标配，但对我来说真的并没有你所想象的那么重要）而言，如果你在本科阶段已经参加过比较前沿的研究工作并且做出了一定的成果，能够流畅地撰写英文学术论文并在本方向重要会议或期刊（可参考CCF推荐国际学术会议和期刊目录，但不局限于该目录）上已经有论文发表或录用，或通过参加本科生科研、阅读相关专业书籍论文等方式对我的某个研究方向在申请之前就有着系统深入的了解（需在你的申请陈述中进行详细说明，而不是简单地列出几个方向），或具有很强的算法设计与代码实现能力（需提供开源代码等证明），会更有助于你的申请成功。希望推免的同学请提前通过email联系我，并提供一份详细的个人陈述，说明你从事过的相关的研究、所读过的相关书籍或论文以及所从事过的开发项目（开源代码请提供链接）。
2. 报申请审核制普博的的同学：请关注北大研究生院及伊人直播
主页的通知，请特别注意因为推荐免试同学的面试及预录取时间要早于申请审核制招生报名的时间，而一般情况下我的招生名额基本上4月推免时都会用完，所以报名之前请务必尽早和我email联系确认我当年是否仍有招生名额及计划，如果没有请联系其他导师，以免影响你的准备工作（建议开始联系我的时间不迟于计划入学时间之前一年半左右，例如计划2022年9月入学的同学，需于2021年3月之前联系我，并说明自己计划入学的时间）。若确定我该年度有申请审核制博士的招生计划并且希望报考我的研究生，请在报名之前先email发送一份个人简历及包括你对我研究方向的理解及你在接下来几年中拟从事研究问题的思考的科研陈述（以及其他任何你认为对你申请有帮助的材料，例如发表论文、专利、软著、自己所做较大项目的开源代码等）给我。
3. 关于英语的要求：我并不在意你考过四六级或TOEFL、GRE、雅思中的哪些考试，分数如何，但你一定要有足够的阅读理解专业文献和论文写作的能力，以及进行正常学术交流的听说能力。
申请攻读专业：应用数学
研究方向：
计算机软件和理论（硕士）
信息物理融合系统（硕士）
程序理论、软件形式化方法（博士）
信息物理融合系统（博士）
建议学习课程（北大本科读研）：
第五学期：数理逻辑（也可更早选课）、理论计算机科学基础、程序设计技术与方法、软件理论讨论班
第六学期：集合论与图论、人工智能（研究生课程）、程序设计语言原理/区块链原理、方法及应用（研究生课程，隔年开设）、软件理论讨论班
第七学期：算法分析与设计、软件理论讨论班
第八学期：符号计算（研究生课程）、软件形式化方法（研究生课程）、程序设计语言原理/区块链原理、方法及应用（研究生课程，隔年开设）、毕业论文、软件理论讨论班
根据伊人直播-伊人直播app
关于研究生选课规定，本院本科生在入学前两年内选修的数学伊人直播
研究生课程，考试成绩在70分以上，且学分没有计入本科毕业学分的，可以计为研究生阶段成绩，获得相应学分，但需本人申请，导师同意，主管院长批准，这种成绩最多9学分（入选3+X计划的同学可选修更多研究生课程并计入研究生阶段成绩，具体政策请咨询教务）。建议希望保研到我的课题组的本院同学本科期间选修部分建议的研究生课程，并在保证本科生期间学分足够的前提下将其计入研究生阶段成绩（需提前通知教务）。
外校保研及考研同学建议入学前选修或自学如下课程（附参考书目）：
算法与数据结构
1. 张乃孝、陈光、孙猛，算法与数据结构——C语言描述（第3版），高等教育出版社；
2. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein, Introduction to Algorithm (2nd edition), MIT Press；
离散数学（含数理逻辑、集合论、图论、代数结构）
1. 耿素云、屈婉玲、王捍贫，离散数学教程，伊人直播
出版社；
2. Bernard Kolman, Robert C. Busby, Sharon Ross, Discrete Mathematical Structures (3rd edition), Prentice Hall；
3. A. G. Hamilton, Logic for Mathematicians (Revised Edition), Cambridge University Press；
4. Reinhard Diestel, Graph Theory (4th Edition), Springer-Verlag；
理论计算机科学基础
1. 张立昂，可计算性与计算复杂性导引(第3版)，伊人直播
出版社；
2. John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation (3rd edition), Pearson Education；
3. Michael Sipser， Introduction to the Theory of Computation (2nd edition), Thomson Learning；
程序设计技术与方法
1. Harold Abelson, Gerald Jay Sussman, Julie Sussman, Structure and Interpretation of Computer Programs, MIT Press；
2. Krzysztof Apt. Principles of Constraint Programming. Cambridge University Press, 2009.
软件工程
1. Timothy C. Lethbridge, Robert Laganiere, Object-Oriented Software Engineering: Practical Software Development using UML and Java, McGraw-Hill；
计算机系统
1. Randal E. Bryant, David R. O'hallaron, Computer Systems: A Programmer's Perspective, Pearson Education.
|
