We describe a first-year course sequence for computer science majors that covers most of the traditional first-year concepts, providing a balance between formal analysis and software synthesis, with examples and assignments in three high-level programming languages: Pascal, Scheme (a lexically scoped dialect of Lisp), and C. We argue that this balanced, tri-lingual approach promotes more effective pedagogy and provides students with a broader foundation than does an all-formal, all-programming, or single-language focus.
我们介绍了计算机科学专业的一年级课程序列,涵盖了大多数传统的一年级概念,在形式分析和软件综合之间取得了平衡,并提供了三种高级编程语言的示例和作业:Pascal, Scheme(在Lisp中用词法界定的方言)和C。我们认为,这种平衡的,三种语言的方法可以促进更有效的教学法,并为学生提供比正式,全部编程或单一语言关注更广泛的基础。 P>
机译:为一年级计算机科学课程开发和验证测试项目
机译:提高计算机科学专业一年级女性的持久性
机译:一年级计算机科学中基于图形的学习
机译:用于电气/计算机工程和计算机科学学生的无线传感器网络中的一年工程经验
机译:一年级大学计算机科学课程中的同伴教学评估
机译:初中一年级理科老师在双语言沉浸式课程中导航科学内容的经验
机译:计算机科学与计算机工程综合第一年课程