计算机科学和数学联合专业

计算机科学与数学联合专业由计算机科学系与数学系共同管理, 学生将有来自两个系的指导老师. 联合专业的目的是为那些对计算机科学和数学之间的跨学科联系感兴趣的学生提供一个量身定制的学习计划. 这取决于选修课的选择, 下面描述的程序将为计算机科学或数学的研究生学习定位成功的专业, 或者直接雇佣.

The Joint 计算机科学 和 数学 degree program has various components: the kernel courses in 计算机科学 和 mathematics; more advanced courses in computer science 和 in mathematics; 诊所; 和 electives. 每个组件的描述如下.

计算机科学与数学四门核心课程

  • MATH055嗯 离散数学

    学分: 3

    指导老师: Benjamin, Bernoff, Lindo, Martonosi, Orrison, Su

    提供: 秋天和春天

    描述: 主题包括组合学(计算事物的聪明方法), 数论, 图论强调创造性地解决问题，学会阅读和书写严谨的证明. 可能的应用包括概率、算法分析和密码学.

    并修课程: MATH073嗯 

和

  • CSCI060嗯 计算机科学原理

    学分: 3

    指导老师: Boerkoel, Breeden, Dodds, Padmanabhan, Stone, Talvitie, Trushkowsky, Wiedermann, Wu

    提供: 秋天和春天

    描述: 计算机科学原理导论:信息结构, 函数式编程, 面向对象编程, 语法, 逻辑, 正确性, 算法, 复杂性分析, 以及理论上的局限性. 那些已经完成的 CSCI042嗯 不能拿CSCI060嗯.

    先决条件: CSCI005嗯 or CSCI005GR嗯 

OR

  • CSCI042嗯 “计算机科学原理与实践”

    学分: 3

    教练: 斯通和维德曼

    提供: 秋天

    描述: 为具有较强编程背景的学生(通常是一年级学生)提供计算机科学学科的加速广度优先介绍. 函数式和面向对象程序设计的计算模型. 数据结构和算法分析. 计算机逻辑和体系结构. 可计算性. 广泛的实践，从原理构建应用程序，使用各种语言. 成功完成本课程满足 CSCI005嗯 核心要求和 CSCI060嗯 课程.

    先决条件: 教员许可

和

  • CSCI081嗯 可计算性与逻辑性

    学分: 3

    指导老师: Bang, Monta ñez, Stone

    提供: 秋天和春天

    描述: 介绍计算机科学的一些数学基础, 特别是逻辑, 自动机, 以及可计算性理论. 发展构建和写作证明的技能, 并论证了上述领域在实际问题中的应用.

    先决条件: (MATH055嗯 或MATH055 CM/PZ/SC)，及(CSCI060嗯 or CSCI042嗯)，及(MATH019嗯 或MATH032 CM/PO/PZ/SC或MATH032S PO或MATH067 PO)，及(MATH073嗯 或MATH060 CM/PO/PZ/SC)

和

  • MATH168嗯 算法

    学分: 3

    指导老师: 布尔科尔(计算机科学), Monta ñez(计算机科学), 斯科菲尔德(计算机科学), 石匠(计算机科学)

    提供: 秋天和春天

    描述: 算法设计，计算机实现，效率分析. 离散结构, 排序和搜索, 时空复杂性, 题目选自算术电路的算法, 排序网络, 并行算法, 计算几何, 解析和模式匹配.

    先决条件: ((CSCI070嗯 和(MATH055嗯/CM/PZ/SC)及(MATH019嗯 或MATH032 CM/PO/PZ/SC或MATH032S PO或MATH067 PO)和(MATH073嗯 或math060cm /PO/PZ/SC或MATH060C CM))或(CSCI060嗯 or CSCI042嗯), MATH131嗯)或(CSCI062 PO及CSCI054 PO). CSCI081嗯 建议.

OR

  • CSCI140嗯 算法

    学分: 3

    指导老师: Boerkoel, Monta ñez, Schofield, Stone

    提供: 秋天和春天

    描述: 算法的设计、分析和正确性. 设计技术包括分而治之和动态规划. 分析技术，包括解决递归关系和摊销. 正确性技术，包括不变量和归纳证明. 应用程序包括排序和搜索, 图论问题，如最短路径和网络流, 题目选自算术电路, 并行算法, 计算几何, 和oth-ers. 介绍计算复杂性，np完备性和近似算法. 要求熟练编程，因为有些作业需要算法实现.

    先决条件: ((CSCI070嗯 和(MATH055嗯/CM/PZ/SC)及(MATH019嗯 或MATH032 CM/PO/PZ/SC或MATH032S PO或MATH067 PO)和(MATH073嗯 或math060cm /PO/PZ/SC或MATH060C CM))或(CSCI060嗯 or CSCI042嗯), MATH131嗯)或(CSCI062 PO及CSCI054 PO). CSCI081嗯 建议.

两门计算机科学课程

  • CSCI070嗯 数据结构和程序开发

    学分: 3

    指导老师: Breeden, Medero, O'Neill, Stone, Talvitie, Trushkowsky

    提供: 秋天和春天

    描述: 抽象数据类型，包括优先级队列和动态字典，以及这些数据类型的有效数据结构, 包括堆, 自动平衡树, 哈希表. 数据结构分析，包括最坏情况，平均情况和平摊分析. 仓库分配和回收. 二次存储注意事项. 广泛的实践为各种应用程序构建程序.

    先决条件: (CSCI060嗯 or CSCI042嗯)，以及至少一门微积分或更高水平的数学课程; MATH055嗯 推荐

  • CSCI131嗯 编程语言

    学分: 3

    指导老师: 邦，奥尼尔，斯通，维德曼

    提供: 秋天和春天

    描述: 对语言设计和实现中的问题和特性的全面检查，包括语言提供的数据结构和数据类型, 模块化, 范围, 继承, 和并发性. 编译和运行时问题. 形式语义学简介.

    先决条件: CSCI070嗯 和 CSCI081嗯 

四门数学课程

  • MATH062嗯 概率论和统计学

    学分: 3

    指导老师: 阿道克，马托诺西，威廉姆斯

    提供: 春天

    描述: 样本空间, 事件, axioms for probabilities; conditional probabilities 和 Bayes' theorem; r和om variables 和 their distributions, discrete 和 continuous; expected values, means 和 variances; covariance 和 correlation; law of large numbers 和 central limit theorem; point 和 interval estima­tion; hypothesis testing; simple linear regression; applications to analyzing real data sets. 可能的其他主题包括方差分析、多元回归和逻辑回归. 

    先决条件: MATH019嗯 

    并修课程: MATH073嗯 

  • MATH082嗯 微分方程

    学分: 3

    教练: 工作人员

    提供: 秋天

    描述: 物理系统建模, 一阶常微分方程, 存在, 独特性, 和 long-term behavior of solutions; bifurcations; approximate solutions; second-order ordinary differential equations 和 their properties, applications; first-order systems of ordinary differential equations. 常微分方程线性系统的应用, matrix exponential; nonlinear systems of differential equations; equilibrium points 和 their stability. 额外的话题.

    先决条件: (MATH019嗯 和 MATH073嗯)或同等 

  • MATH131嗯 数学分析I

    学分: 3

    指导老师: 卡斯特罗，德皮利斯，卡普，苏，H. Zinn-Brooks

    提供: Jointly; fall semester at hmc 和 pomona, spring semester at hmc 和 cmc

    描述: 这门课程是对实数的严格分析，以及对写作和交流数学的介绍. 主题包括有理数和实数字段的属性, 最小上界性质, 感应, 可数集, 度量空间, 极限点, 密实度, 连通性, 仔细处理序列和级数, 功能, 微分和中值定理, 以及对函数序列的介绍. 如果时间允许，还会有其他主题.

    先决条件: MATH055嗯 

  • MATH171嗯 抽象代数I

    学分: 3

    指导老师: Karp, Lindo, Omar, Orrison, 工作人员 (CMC)， 工作人员 (Pomona)

    提供: Jointly; fall semester at hmc 和 cmc, spring semester at hmc 和 pomona

    描述: 组、环、字段和其他主题. 群论的主题包括群体, 子组, 商集团, 拉格朗日定理, 对称组, 以及同构定理. 环理论的主题包括欧几里得域, pid, UFDs, 字段, 多项式环, 理想的理论, 以及同构定理. 近年来, 其他主题包括西洛定理, 组织行为, 模块, 表示, 以及导论范畴理论.

    先决条件: MATH073嗯 和 MATH055嗯 

选修课

  • 高级技术选修课12学分. 这些选修课可以是数学, 计算机科学, 或者其他太阳2注册平台, 但必须包括至少6学分的数学和至少6学分的计算机科学, 并且必须经过指导老师的同意，这样才能形成一个连贯的项目. 所有选修课必须超过100. (某些超过100门的校外数学课程，复制了HMC核心课程的内容，不能计入选修要求.计算机科学和数学交叉列出的课程, 比如复杂性理论, 显示为MATH167 HM和CSCI142 HM, 可以选哪一门课程.

座谈会

两学期的计算机科学研讨会:

  • CSCI195嗯 计算机科学研讨会 (应该在大三或大四选修)

    信贷: 0.5

    教练: 工作人员

    提供: 秋天和春天

    描述: 口头报告和选定主题的讨论, 包括计算机科学的最新发展. 参与者包括计算机科学专业的学生, 诊所的参与者, 教员, 以及客座演讲嘉宾. 不超过2个.参加太阳2注册平台研讨会/座谈会可获得0个学分. 所有专业都欢迎.

    先决条件: 仅限大三和大四学生

和

一学期数学学术讨论会:

  • MATH199嗯 数学专题座谈会 (应该在大三或大四选修)

    信贷: 0.5

    教练: 工作人员

    提供: 秋天和春天

    描述: 学生将参加每周一次的克莱蒙特数学研讨会, 通过克莱蒙特学院数学系的共同努力提供. 大多数讲座讨论当前数学科学的研究，本科生也可以参加. 不超过2个.参加太阳2注册平台研讨会/座谈会可获得0个学分. 

和

一学期数学论坛:

  • MATH198嗯 大学生数学论坛 (应该在大三选修)

    信贷: 1

    指导老师: 卡斯特罗，雅各布森，奥里森，威廉姆斯，H. Zinn-Brooks

    提供: 秋天和春天

    描述: 本课程的目标是提高学生的数学沟通能力, 无论是对普通观众还是对技术观众. 学生将提交指定主题的材料，并由学生和教师评估他们的报告. 这种形式同时使学生接触到广泛的主题，从现代和古典数学. Required for all majors; 推荐 for all joint CS-math majors 和 mathematical biology majors, 通常是在大三.

在国外学习的大三或大四学生，每学期可免修一学期的计算机科学专题讨论会.

诊所

需要两个学期，在大四期间完成. 联合专业将在一个临床项目从数学, 计算机科学, 计算机科学和数学的结合, 或者是一个跨学科的项目. 计算实践, 项目, 强烈建议希望选修计算机科学临床的学生选修《太阳2平台》(CSCI123嗯).

  • MATH193嗯 数学诊所 (两次)

    学分: 3

    教练: 工作人员

    提供: 秋天和春天

    描述: 诊所项目将学生团队聚集在一起，研究由企业赞助的研究问题, 行业, 或政府. 团队与教师顾问和赞助组织提供的联络人密切合作，以解决复杂的问题, 使用数学和计算方法解决现实问题. 学生应口头展示他们的工作，并产生符合专业数学家出版标准的最终报告. 学生应在一学年内完成两个学期的临床课程.

    先决条件: 具有数学专业高级职称或经数学诊所主任许可.

OR

  • CSCI183嗯 计算机科学诊所一

    学分: 3

    教练: 工作人员

    提供: 秋天

    描述: 诊所项目将学生团队聚集在一起，研究由企业赞助的研究问题, 行业, 或政府. 团队与教师顾问和赞助组织提供的联络人密切合作，以解决复杂的现实问题. 学生应口头介绍他们的工作，并产生符合专业出版标准的最终报告. CSCI183嗯和 CSCI184嗯 必须在同一学年连续修读，才能算入专业.

    先决条件: CSCI123嗯  和 senior st和ing; or permission of the 计算机科学 诊所 director

和

  • CSCI184嗯 计算机科学二级诊所

    学分: 3

    教练: 工作人员

    提供: 春天

    描述: 诊所项目将学生团队聚集在一起，研究由企业赞助的研究问题, 行业, 或政府. 团队与教师顾问和赞助组织提供的联络人密切合作，以解决复杂的现实问题. 学生应口头介绍他们的工作，并产生符合专业出版标准的最终报告. CSCI183嗯 和CSCI184嗯必须在同一学年连续修习，才能算入该专业.

    先决条件: CSCI183嗯, 和 senior st和ing; or permission of the 计算机科学 诊所 director

OR

  • CSMT183嗯 计算机科学与数学

    学分: 3

    教练: 工作人员

    提供: 秋天

    描述: 计算机科学和数学的联合团队项目，与公司有关联. CSMT183嗯和 CSMT184嗯 必须连续参加才能算进专业.

    先决条件: 作为计算机科学/数学联合专业的资深学生, 或得到计算机科学与数学诊所主任的许可.

和