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

The 计算机科学和数学联合专业 is cooperatively administered by the 计算机科学 和 数学 departments, 学生将有来自两个系的指导老师. The purpose of the joint major is to provide a program of study tailored to students who are interested in the interdisciplinary connections between computer science 和 mathematics. 这取决于选修课的选择, the program described below would position successful majors for graduate studies in either 计算机科学 or mathematics, 或者直接雇佣.

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

    提供: 秋天和春天

    描述: 主题包括组合学(计算事物的聪明方法), 数论, 和 graph theory with an emphasis on creative problem solving 和 learning to read 和 write rigorous proofs. 可能的应用包括概率、算法分析和密码学.

    并修课程: MATH073嗯 

和

  • CSCI060嗯 计算机科学原理

    学分: 3

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

    提供: 秋天和春天

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

    先决条件: CSCI005嗯 or CSCI005GR嗯 

OR

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

    学分: 3

    教练: 斯通和维德曼

    提供: 秋天

    描述: Accelerated breadth-first introduction to 计算机科学 as a discipline for students (usually first-year) who have a strong programming background. 函数式和面向对象程序设计的计算模型. 数据结构和算法分析. 计算机逻辑和体系结构. 可计算性. Extensive practice constructing applications from principles, using a variety of languages. 成功完成本课程满足 CSCI005嗯 核心要求和 CSCI060嗯 课程.

    先决条件: 教员许可

和

  • CSCI081嗯 可计算性与逻辑性

    学分: 3

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

    提供: 秋天和春天

    描述: 介绍计算机科学的一些数学基础, 特别是逻辑, 自动机, 以及可计算性理论. 发展构建和写作证明的技能, 和 demonstrates the applications of the aforementioned areas to problems of practical significance.

    先决条件: (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. An introduction to computational complexity, NP-completeness, 和 approximation 算法. Proficiency with programming is expected as some assignments require algorithm implementation.

    先决条件: ((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

    提供: 秋天和春天

    描述: Abstract data types including priority queues 和 dynamic dictionaries 和 efficient data structures for these data types, 包括堆, 自动平衡树, 哈希表. 数据结构分析，包括最坏情况，平均情况和平摊分析. 仓库分配和回收. 二次存储注意事项. 广泛的实践为各种应用程序构建程序.

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

  • CSCI131嗯 编程语言

    学分: 3

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

    提供: 秋天和春天

    描述: A thorough examination of issues 和 features in language design 和 implementation including language-provided data structuring 和 data-typing, 模块化, 范围, 继承, 和并发性. 编译和运行时问题. 形式语义学简介.

    先决条件: 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. Possible additional topics include ANOVA, multiple regression, 和 logistic regression. 

    先决条件: 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

    描述: This course is a rigorous analysis of the real numbers 和 an introduction to writing 和 communicating mathematics well. 主题包括有理数和实数字段的属性, 最小上界性质, 感应, 可数集, 度量空间, 极限点, 密实度, 连通性, 仔细处理序列和级数, 功能, 微分和中值定理, 以及对函数序列的介绍. 如果时间允许，还会有其他主题.

    先决条件: 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注册平台, but must include at least 6 credits of mathematics 和 at least 6 credits of 计算机科学, 和 must be chosen with approval of the faculty advisors so that a coherent program is formed. 所有选修课必须超过100. (Certain off-campus math courses numbered in the 100s that replicate HMC Core course content cannot be counted toward the elective requirement.计算机科学和数学交叉列出的课程, 比如复杂性理论, 显示为MATH167 HM和CSCI142 HM, 可以选哪一门课程.

座谈会

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

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

    信贷: 0.5

    教练: 工作人员

    提供: 秋天和春天

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

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

和

一学期数学学术讨论会:

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

    信贷: 0.5

    教练: 工作人员

    提供: 秋天和春天

    描述: 学生将参加每周一次的克莱蒙特数学研讨会, offered through the cooperative efforts of the mathematics faculty at 克莱蒙特学院. Most of the talks discuss current research in mathematical sciences 和 are accessible to under­graduates. 不超过2个.参加太阳2注册平台研讨会/座谈会可获得0个学分. 

和

一学期数学论坛:

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

    信贷: 1

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

    提供: 秋天和春天

    描述: 本课程的目标是提高学生的数学沟通能力, 无论是对普通观众还是对技术观众. 学生 will present material on assigned topics 和 have their presentations evaluated by students 和 faculty. This format simultaneously exposes students to a broad range of topics from modern 和 classical mathematics. Required for all majors; 推荐 for all joint CS-math majors 和 mathematical biology majors, 通常是在大三.

学生 studying abroad during their junior or senior years are excused from one semester of the 计算机科学研讨会 requirement for each semester abroad.

诊所

需要两个学期，在大四期间完成. 联合专业将在一个临床项目从数学, 计算机科学, 计算机科学和数学的结合, 或者是一个跨学科的项目. 计算实践, 项目, 和 People (CSCI123嗯) is strongly 推荐 for students wishing to take 计算机科学 诊所.

  • MATH193嗯 数学诊所 (两次)

    学分: 3

    教练: 工作人员

    提供: 秋天和春天

    描述: The 诊所 Program brings together teams of students to work on a research problem sponsored by business, 行业, 或政府. Teams work closely with a faculty advisor 和 a liaison provided by the sponsoring organization to solve complex, 使用数学和计算方法解决现实问题. 学生 are expected to present their work orally 和 to produce a final report conforming to the publication st和ards of a professional mathematician. 学生 are expected to take the two semesters of 诊所 within a single academic year.

    先决条件: Senior st和ing as a mathematics major or permission of the 数学诊所 director.

OR

  • CSCI183嗯 计算机科学诊所一

    学分: 3

    教练: 工作人员

    提供: 秋天

    描述: The 诊所 Program brings together teams of students to work on a research problem sponsored by business, 行业, 或政府. Teams work closely with a faculty advisor 和 a liaison provided by the sponsoring organization to solve complex real-world problems. 学生 are expected to present their work orally 和 to produce a final report conforming to professional publication st和ards. CSCI183嗯和 CSCI184嗯 必须在同一学年连续修读，才能算入专业.

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

和

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

    学分: 3

    教练: 工作人员

    提供: 春天

    描述: The 诊所 Program brings together teams of students to work on a research problem sponsored by business, 行业, 或政府. Teams work closely with a faculty advisor 和 a liaison provided by the sponsoring organization to solve complex real-world problems. 学生 are expected to present their work orally 和 to produce a final report conforming to professional publication st和ards. CSCI183嗯 和 CSCI184  HM 必须在同一学年连续修读，才能算入专业.

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

OR

  • CSMT183嗯 计算机科学与数学

    学分: 3

    教练: 工作人员

    提供: 秋天

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

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

和