A declarative laboratory approach for discrete structures, logic, and computability
A declarative laboratory approach for discrete structures, logic, and computability
复制标题
用于离散结构、逻辑和可计算性的声明性实验室方法
DOI：
10.1145/165408.165414
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
James Hein
中科院分区：
文献类型：
--
作者：
James Hein
19概述许多学生发现很难掌握和记住离散结构、逻辑和可计算性课程中提出的思想。这些科目为计算机科学的高级课程提供了基础。因此，必须作出重大努力，以改善学习环境，为学生学习这些思想在较低的分工水平。我们中的许多人尽管受到这样的教育，但还是取得了学业上的成功。但是有多少人没有成功是因为材料呈现给他们的方式？因为人们学习的方式不同，所以给学生提供各种各样的学习经历是有意义的。我们为计算机科学或计算机工程专业的学生创建了一个为期一年的大二离散结构，逻辑和可计算性课程的实验室组件。这些实验包括声明式编程环境中的实验。这些实验的目的是加强学习的材料在日常的基础上，就像定期的家庭作业。换句话说，实验室实验的持续时间很短，并且与每堂课所涉及的内容相关。简短的编程实验，对应于每个讲座应该是有用的学习工具r许多传统的课程。学生从错误假设中得到的即时反馈可以激励他们尝试新的东西进行实验，看看会发生什么。实验室部分还可以鼓励使用实验室合作伙伴，学生的互动，团队的存在，
19 Overview Many students find it hard to grasp and retai n the ideas presented in courses covering discret e structures, logic, and computability. These subjects provide a foundation for required upper division courses in computer science . Therefore a major effort must be made to improve the learnin g environment for students studying these ideas a t the lower division level . Many of us succeeded academically in spite o f the way we were taught . But how many people hav e not succeeded because of the way material was presented to them? Since people learn in different ways, it makes sense to present students with a va riety of learning experiences . We have created a laboratory component for a year long sophomore course in discrete structures , logic, and computability for students majoring i n computer science or computer engineering . The labs consist of experiments in declarative programming environments . The experiments are designed to reinforce the learning of material o n a daily basis, just like the regular homework assignments . In other words, the lab experiment s are short in duration and relevant to the material covered by each lecture . Short programming labs that correspond t o each lecture should be useful learning tools fo r many traditional courses . The instant feedbac k that students get from wrong assumptions can give them incentive to try something new to experiment and see what happens . The lab component can also encourage the use of laboratory partners, interaction of students, team presenta -