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.