计算机科学
在
- CAS CS 501：计算机科学实习每学期不同的计算机科学的各种应用。详情请联系中科院计算机科学系。
- 自然语言处理（NLP）是人工智能的一个领域，旨在使计算机具备智能处理自然（人类）语言的能力。本课程探讨自然语言数据自动分析的统计和机器学习技术。
- CAS cs506：数据科学工具和应用
本科先决条件：CAS cs108或CAS cs111；CAS cs132或CAS ma242或CAS ma442。推荐使用CAS cs112。-涵盖处理数据的实用技能，并介绍广泛的数据分析常用技术，如聚类、分类、回归和网络分析。强调通过编程方法的实际应用。从2019年秋季开始，本课程将满足以下BU中心领域的单个单元：澳门威尼斯人注册网站研究和信息素养，团队合作/协作。 - CAS cs511：形式化方法1本科先决条件：（CASCS320或CASCS330或CASCS350） -介绍计算机系统行为的正式规范，分析和验证。主题包括澳门威尼斯人注册计算机程序和系统的正式逻辑推理，自动化和半自动验证，以及确定软件系统满足其正式指定属性的算法方法。不能将课程学分与以前的“面向对象软件原理”相同。
- CAS cs516：通过形式语言的软件基础本科先决条件：（CASCS320 & CASCS330）或由讲师批准的同等课程。-澳门威尼斯人注册网站研究形式语言的层次结构，重点澳门威尼斯人注册网站研究形式语言的算法。使用计算机工具集对这些算法进行实验。这些算法在编译器构造中的应用，有限状态控制装置的实现，以及形式化方法。
- CAS CS 518：软件验证的正式工具澳门威尼斯人注册网站研究生先决条件：计算机科学学士学位或计算机工程学士学位或导师同意，并熟悉至少一种现代编程语言。—引入各种正式规范、测试和验证的方法，以了解和消除危害系统安全的错误。考虑了两种通用的方法：使用基于属性的测试和符号执行的动态方法，以及涉及基于程序的形式化验证技术的静态方法。
- CAS cs519：火花！软件工程X-Lab实习
本科先决条件：（CASCS411或CDSDS310）或同等的软件开发经验，并经导师同意。-成功完成合格/不合格诊断测试后提供的同意，以评估学生对课程的准备情况。本课程为计算机学科的学生提供机会，通过在BU内外的合作组织提供的实际项目中工作，应用他们的编程和系统开发技能，这些项目由Spark策划！该课程提供了一系列的项目选择，学生可以提高他们的技术技能，同时也获得了必要的软技能，以交付符合合作伙伴目标的项目。这些包括团队合作和沟通技巧以及软件开发过程。从2022年春季开始，本课程将满足以下BU中心领域的单个单元：道德推理，口头和/或签名沟通，团队合作/协作。 - CASCS 523：深度学习本科先决条件：(CASCS542) -深度学习的数学和机器学习背景。前馈网络。反向传播。深度网络的训练策略。架构，如卷积，循环，变压器网络。深度强化学习。深度无监督学习。接触现代编程工具和库。其他最近的话题，时间允许的话。
- CAS cs525：编译器设计理论本科先决条件：（CASCS320），或导师的同意。-毕业先决条件：（CASCS320或CASCS332） -涵盖了编译器和其他语言处理器设计的基本数学理论，并展示了如何在实际设计情况下使用该理论。主题可能包括词法分析、解析、语法导向翻译、代码优化和代码生成。
- CAS cs528：云计算本科先决条件：（CASCS350 & CASCS460）或澳门威尼斯人注册网站同意。推荐使用CASCS455、CASCS552、CASCS562。-云计算基础，包括IaaS平台、OpenStack、重点大数据平台、数据中心规模系统。审查云计算领域有影响力的出版物。在一个由工业界或学术界导师指导的小组项目中达到高潮。
- CAS cs530：高级算法本科先决条件：（CASCS330）或澳门威尼斯人注册网站同意。-毕业先决条件：（CASCS330）或导师同意。-在计算机科学的几个领域澳门威尼斯人注册网站研究算法的设计和效率。主题选择从图算法，排序和搜索，np完全问题，模式匹配，并行算法和动态规划。
- 本科先决条件：CAS MA 123和124，或同等学历和CAS CS 132或同等学历；或者是指导者的意识。-优化算法，突出离散和连续之间富有成效的相互作用。读者对象为硕士生、博士生。主题包括梯度下降算法、在线优化、线性和半定规划、对偶性、网络优化、次模优化、通过连续松弛的近似算法。
- CAS cs535：复杂性理论本科先决条件：（CASCS332）或澳门威尼斯人注册网站同意。-澳门威尼斯人注册网站研究生先决条件：(CASCS332) -涵盖当前对计算理论感兴趣的主题，从计算模型中选择，游戏和问题层次，抽象复杂性理论，信息复杂性理论，时空权衡，概率计算，以及最近对特定组合问题的澳门威尼斯人注册网站研究。
- CAS cs537：计算中的随机性本科先决条件：（CASCS330或CASCS530）。CASCS535是推荐或同意的讲师。-毕业先决条件：CASCS330或CASCS530推荐。概览计算理论的概论思想。主题可能包括蒙特卡洛和拉斯维加斯概率计算；平均案例复杂度及分析；随机和伪随机字符串；游戏和加密协议；信息;归纳推理;可靠性;别人。（两年一次。）
- CAS cs538：密码学基础本科先决条件：（CASCS131 & CASCS237 & CASCS357）或澳门威尼斯人注册网站同意。（CASCS332） -保证数据保密性和真实性的基本算法实际结构的安全性定义和证明。主题包括完全安全加密，伪随机生成器，RSA和Elgamal加密，Diffie-Hellman密钥协议，RSA签名，秘密共享，块和流密码。
- CAS cs541：应用机器学习本科先决条件：CS111（推荐CS112）；CS132或MA242（或EK103）；CS237或MA581（或EK381）推荐使用CS365。-涵盖机器学习的实用技能，包括聚类，分类，回归，特征选择和模型压缩技术。强调通过在真实世界的数据集上编程的方法的实际应用。
- CASCS 542：机器学习原理本科先决条件：(CASCS365) -介绍现代机器学习概念，技术和算法。主题包括回归、核、支持向量机、特征选择、增强、聚类、隐马尔可夫模型和贝叶斯网络。编程作业强调通过对真实世界数据集的应用，将理论应用于实践。
- CAS cs543：驯服大数据的算法技术
本科先决条件：接触基本的数据结构和算法或导师同意。-不断增长的可用数据量导致有效处理数据的重大挑战。在许多情况下，不再可能设计出能够自由访问整个数据集的可行算法。相反，我们通常不得不求助于允许减少数据量的技术，如采样、草图、降维和核心集。还探讨了大型数据集分布在多台机器甚至地理位置的场景，目标是设计有效的通信协议或MapReduce算法。包括期末项目和编程作业，其中我们将探索我们的技术在应用于公开可用数据集时的性能。从2021年秋季开始，本课程将满足以下BU中心领域的单个单元：定量推理II，创造力/创新。 - CAS cs548：高级密码学本科先决条件：（CASCS538）或澳门威尼斯人注册网站同意。-继续执行CAS cs538。先进的技术，保护机密性和真实性，防止主动攻击，零知识证明；菲亚特-沙米尔签名方案；不可延展性公钥加密；认证对称加密；从拜占庭协议到心理扑克再到阈值密码学等任务的安全多方协议。
- CAS cs549：火花！机器学习X-Lab实习
本科先决条件：（CASCS505或CASCS542或CASCS585）或导师同意。在成功完成合格/不合格诊断测试后提供的同意，该测试将评估学生是否准备好参加课程。-火花！实习为计算机学科的学生提供了将他们的知识应用于算法、推理分析和软件开发的机会，通过在BU内外的合作组织提供的现实世界项目中工作。该课程提供了一系列的项目选择，学生可以提高他们的技术技能，同时也获得了必要的软技能，以交付符合合作伙伴目标的项目。这些包括团队合作和沟通技巧以及软件开发过程。所有参加课程的学生都需要完成一个澳门威尼斯人注册推理分析或机器学习应用的项目，包括向合作组织提交的最终报告。从2022年春季开始，本课程将在以下BU中心领域中完成单个单元：道德推理，澳门威尼斯人注册网站研究和信息素养，团队合作/协作。
