No. 年级学期 课程名称 学分 任课教师
1 春季学期 机器学习与翻译 4
2 春季学期 计算理论导论 3
3 秋季学期 算法分析与设计 2
4 春季学期 高等理论计算机科学(下) 4
5 研究生低年级秋季学期 高等理论计算机科学(上) 4
1. 机器学习与翻译

任课教师:

    该课程主要面向研究生及高年级本科生开课,要求选课学生有基本的统计学背景知识。

    机器学习是人工智能领域中一个关键课题,该课程教授学生机器学习中的基础理论和计算,旨在加深学生对机器学习的了解,熟练学生在该领域的技能,以便他们能够解决存在于更广阔领域中不同的实际问题。机器学习应用广泛,其应用领域包括网络搜索,社交网络,语音识别,图像处理,机器人技术,金融等。该课程选择统计机器翻译的应用,推动学生对课程的学习及体现机器学习的应用。如今,机器翻译成为最热的领域之一,政府,微软、百度、谷歌等大型企业对机器翻译项目投资巨大。

    课程内容包括理论和实践两部分:首先,该课程介绍了训练标准(贝叶斯决策论、最大似然),统计模型(CRF,SVM,HMM,神经网络),训练计算(EM,Gibbs采样);接下来,基于统计方法(词语对齐、词组训练,解码,优化),介绍先进的机器翻译方法。

    教学方式以讲座和讨论为主,鼓励学生参与研究项目,从而激发学生的奇思妙想。

2. 计算理论导论

任课教师:
        该课程主要面向理论计算机方向的低年级研究生开课,要求选课同学有良好的数学基础、以及基本的理论计算机基础。

        该课程向学生介绍计算理论的主要内容,侧重于近当代复杂性理论的重要主题,使学生了解复杂性理论领域的重要问题和结果。加强学生的理论计算机基础,同时帮助学生了解理论计算机学科算法方向的知识,以便选择自己将来的主要研究方向。

        课程内容包括:回顾可计算性理论的主要内容,介绍复杂性理论的基本主题,包括基本复杂性类如P、NP、PSPACE和BPP等;电路和Parity不在AC0中的证明;时间和空间层级定理;去随机化的主要结果;PCP定理和不可近似性;理论密码学;自然性证明等。

        教学方式以课堂授课为主,辅以专题讨论,由学生进行论文阅读训练和综述汇报,以期帮助选课学生明确今后的研究目标。

3. 算法分析与设计

任课教师:
        课程号80470032,每周两课时,学分为两学分。该课程主要面向理论计算机方向的低年级研究生开课,要求选课同学有良好的数学基础、以及基本的理论计算机基础。

        该课程旨在通过向学生介绍算法设计和分析的高级技术、阅读当前算法设计领域的论文,加强学生的理论计算机基础,同时帮助学生了解理论计算机学科算法方向的知识,以便选择自己将来的主要研究方向。
       
        课程内容包括:基本算法设计技术的回顾,包括分治法、动态规划等;介绍随机算法和近似算法和设计与分析;就当前研究中的重要问题如计算几何中的重要问题;对次线性算法、在线算法和数据结构的研究等进行介绍。
        
        教学方式以课堂授课为主,辅以专题讨论,由学生进行论文阅读训练和综述汇报,以期帮助选课学生明确今后的研究目标。

4. 高等理论计算机科学(下)

任课教师:

       课程号80470024,每周4课时,学分为4学分。

        该课程主要面向对理论计算机及相关学科有浓厚兴趣的低年级研究生开课。要求选课同学有良好的数学基础、以及基本的理论计算机基础(数学基础包括:大学数学、基本近世代数理论等,理论计算机基础包括:基本的算法设计、基本的复杂性理论等)。
       
        本课程为全英文授课,旨为研究生介绍理论计算机的各个领域的当前研究方向、进展及热点前沿课题,并就大家感兴趣的问题进行深入的探讨;通过专题探讨,帮助学生确立今后研究的方向,明确研究的目标。 

        课程内容主要包括经典理论计算机科学的各个分支,如算法设计、计算复杂性理论、密码学、博弈论、编码理论、量子计算等;也包括部分计算机科学领域的重大问题、热门课题及前沿方向,如计算生物学、压缩传感网络、网络编码理论、计算机视觉等。
       
        教学方式以课堂授课、系列讲座为主,辅以专题讨论,由学生进行论文阅读训练和综述汇报,以期帮助选课学生明确今后的研究方向。

5. 高等理论计算机科学(上)

任课教师:
       课程号80470014,每周4课时,学分为4学分。

        该课程主要面向对理论计算机及相关学科有浓厚兴趣的低年级研究生开课。要求选课同学有良好的数学基础、以及基本的理论计算机基础(数学基础包括:大学数学、基本近世代数理论等,理论计算机基础包括:基本的算法设计、基本的复杂性理论等)。
    
        本课程为全英文授课,旨为研究生介绍理论计算机的各个领域的当前研究方向、进展及热点前沿课题,并就大家感兴趣的问题进行深入的探讨;通过专题探讨,帮助学生确立今后研究的方向,明确研究的目标。 

        课程内容主要包括经典理论计算机科学的各个分支,如算法设计、计算复杂性理论、密码学、博弈论、编码理论、量子计算等;也包括部分计算机科学领域的重大问题、热门课题及前沿方向,如计算生物学、压缩传感网络、网络编码理论、计算机视觉等。

        教学方式以课堂授课、系列讲座为主,辅以专题讨论,由学生进行论文阅读训练和综述汇报,以期帮助选课学生明确今后的研究方向。