LogEx 使用试点研究及经验教训
计算机与社会
2015-07-15 v1 计算机科学中的逻辑
摘要
LogEx 是一个支持学生使用标准等价关系重写命题逻辑公式的学习环境。我们组织了一项试点研究，以为该学习环境的大规模评估做准备。在本文中，我们描述了这项研究及其结果，这些结果为我们进行大规模评估提供了宝贵的经验教训。
引用
@article{arxiv.1507.03671,
title = {A pilot study of the use of LogEx, lessons learned},
author = {Josje Lodder and Bastiaan Heeren and Johan Jeuring},
journal= {arXiv preprint arXiv:1507.03671},
year = {2015}
}
备注
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber