Z3Guide：面向逻辑建模的可扩展、以学生为中心且可扩展的教育环境
人机交互
2025-06-11 v1 计算机科学中的逻辑
摘要
约束满足问题(CSPs)无处不在，从购物预算到软件行为验证。逻辑建模有助于使用SMT求解器以程序方式解决CSP。尽管其在许多计算机科学领域中至关重要，但教育资源稀缺且分散，设计满足教师和学生需求且可访问的教育环境仍面临挑战。本文探讨了如何设计此类环境并探讨了设计对学习体验的影响。基于需求调查访谈和教师设计迭代，我们精选了10项设计准则，涵盖三个主要要求：提供易于访问、支持各种教育模式以及允许针对自定义教学需求的扩展。我们在Z3Guide中实现了九项准则，这是一个开源的基于浏览器的工具。在与100多名学生参与的逻辑建模学习工作坊中，我们收集了对其学习支持的积极反馈，并确定了未来改进的机会。
引用
@article{arxiv.2506.08294,
title = {Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling},
author = {Ruanqianqian Huang and Ayana Monroe and Peli de Halleux and Sorin Lerner and Nikolaj Bjørner},
journal= {arXiv preprint arXiv:2506.08294},
year = {2025}
}