艾丽卡·梅利斯;约格·西克曼 电子学习逻辑和数学：我们有什么和我们仍然需要什么。 （英语） Zbl 1221.00044号 阿尔特莫夫、谢尔盖（编辑）等，我们将向他们展示！为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦：学院出版物（ISBN 1-904987-12-5/pbk；1-904987-26-5/hbk）。《致敬》2639-662（2005）。 引言：正如之前在其他领域的经验一样，对教育产生影响的不是技术本身的发展，而是一种满足学习者实际需求的技术。为了构建有用的教育应用程序，实证调查和观察必须为有效支持学习者的技术奠定基础。正如我们将在第2节中看到的那样，有一些认知和教学方面的结果我们可以依赖，我们应该注意。本文的大部分内容都集中在数学（包括逻辑）教育上。它区分了学生不直接使用的模块中定理证明/演绎的用法和系统作为交互式问题解决工具的用法。论文组织如下。在第2节中，我们将简要介绍一些相关的（经验）心理学和教育学成果。然后，我们在第3节中分析了当前技术如何能够或无法实现这些需求，并提供了一些示例。最后，我们提出了一些挑战，并在第4节中提出了未来的工作建议。关于整个系列，请参见[Zbl 1202.03007号]. MSC公司： 00A35型 数学方法论 68吨15 定理证明（演绎、解析等）（MSC2010） 97立方 认知过程、学习理论（数学教育方面） 97单位50 计算机辅助教学、电子学习（数学教育方面） PDF格式BibTeX公司 XML格式引用 \textit{E.Melis}和\textit{J.Siekmann}，《致敬》2，639--662（2005；Zbl 1221.00044）