CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum

这个奖项是为了发展四个 计算机科学专业大一/大二课程， 非专业人士 这些课程将教授多种编程 范式，在课程的早期引入形式推理， 并利用其他领域出现的计算问题， 学科 课程材料将提供给其他 学术机构和教育成果 将在专业会议和研讨会上发表。 康奈尔大学计划开发四个入门/ 计算机科学专业和非计算机科学专业的二年级课程 少校 一门课程，针对的是以前没有 编程经验，将侧重于发展学生的 解决问题的能力以及使用 符号和抽象思维。 其他三门课程是 为有一定背景的观众提供的替代课程 计算机科学 这些课程将提供正式的 介绍函数式编程和形式推理， 以及命令式编程中的连续指令。 课程材料将分发给其他学术机构， 机构和演讲将在专业 各种会议。

This award is for the development of four freshman/sophomore courses for computer science majors and non-majors. The courses will teach multiple programming paradigms, introduce formal reasoning early in the curriculum, and exploit computational problems that arise in other disciplines. Course material will be made available to other academic institutions and results of the educational effort will be presented at professional meetings and conferences. Cornell University plans to develop four introductory/ sophomore level courses for computer science majors and non- majors. One course, targeted at students with no previous programming experience, will focus on developing the students' general problem-solving skills as well as their ability to use notation and abstract thinking. The other three courses are alternative courses for audiences with some background in computer science. These courses will provide a formal introduction to functional programming and formal reasoning, as well as continued instruction in imperative programming. Course materials will be disseminated to other academic institutions and presentations will be made at professional meetings and conferences.