Computational reductions are an important and powerful concept in computer science. However, they are difficult for many students to grasp. In this paper, we outline a concept for how the learning of reductions can be supported by educational support systems. We present an implementation of the concept within such a system, concrete web-based and interactive learning material for reductions, and report on our experiences using the material in a large introductory course on theoretical computer science.

翻译：计算归约是计算机科学中一个重要且强大的概念，然而许多学生难以掌握这一概念。本文提出了一种通过教育支持系统辅助归约学习的框架。我们在此类系统中实现了该框架，开发了基于网页的交互式归约学习材料，并报告了在理论计算机科学大型导论课程中使用该材料的实践经验。