Discrete mathematics for computing students: A programming oriented approach with Alloy
Discrete mathematics for computing students: A programming oriented approach with Alloy
复制标题
计算机专业学生的离散数学：合金的面向编程的方法
DOI：
10.1109/fie.2016.7757641
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
C. Wallace
中科院分区：
文献类型：
--
作者：
Leo C. Ureel;C. Wallace
计算机学科的学生需要在离散数学的基础上打下坚实的基础。传统的“离线”教学方法为学生在编程作业中体验到的那种交互式学习提供了有限的机会。我们一直在使用Alloy语言和分析工具，以探索性的编程密集型方式教授离散结构和逻辑中的概念。我们报告我们的努力，建立脚手架合金练习离散数学的新人，我们报告的一些初步调查结果的基础上，我们的经验与学生。
Students in computing disciplines need a strong basis in the fundamentals of discrete mathematics. Traditional “offline” approaches to teaching this material provide limited opportunities for the kind of interactive learning that students experience in their programming assignments. We have been using the Alloy language and analysis tool to teach concepts in discrete structures and logic in an exploratory, programming-intensive way. We report on our efforts to build scaffolded Alloy exercises for newcomers to discrete mathematics, and we report on some initial findings based on our experiences with students.