An Integrated Approach to Teaching the Languages of Programming and Mathematics in the Computer Science Curriculum

计算机科学教育工作者面临着这样一个困境， 如果不成为一个好的计算机科学家， 程序员，也不能理解的基础， 计算机科学没有很强的数学背景。 本项目的目标是使用的前三个课程， 计算机科学专业，使学生流利的发言人 数学和编程，并让他们接触到这两个 函数式和命令式语言范式， 学习计算机科学。 计算机科学I和 离散数学，采取在第一学期，将 仔细阐明数学与 通过综合课程、功能性 编程语言和共享实验室。 计算机科学 在第二学期学习的IL将弥补差距 第一学期的数学观点和 将算法实现为一系列 通过命令式语言的指令。 所有课程将 也为计算概念提供了坚实的基础 在高级课程中会被考虑。 使用的方法 让学生接触数学理论概念， 计算机科学没有这些概念， 与应用程序无关的抽象，它给学生 丰富的编程经验，但不忽视重要的 作为正确性基础的理论概念 是概括和创造性工作的基础。

Computer Science educators are faced with the dilemma that one cannot do computer science well without being a good programmer, nor can one understand the underpinnings of computer science without a strong background in mathematics. The goal of this project is to use the first three courses of the computer science major to make students fluent speakers of mathematics and programming, and to expose them to both functional and imperative language paradigms so that they can effectively learn computer science. Computer Science I and Discrete Mathematics, taken in the first semester, will carefully articulate the strong ties between mathematics and programming through an integrated curriculum, a functional programming language and a shared laboratory. Computer Science Il, taken during the second semester, will bridge the gap between the mathematical perspective of the first semester and the implementation of an algorithm as a sequence of instructions through an imperative language. All courses will also provide a strong foundation for the computational concepts that are considered in advanced courses. The approach used exposes students to theoretical concepts in mathematics and computer science without having these concepts walled off as abstractions unrelated to applications, and it gives students extensive programming experience without neglecting important theoretical concepts that are the foundations of correctness and the basis for generalization and creative work.