第十一届教育软件定理证明组件国际研讨会会议录
计算机科学中的逻辑
2023-03-13 v1 人工智能
计算机与社会
摘要
ThEdu 系列致力于在中学数学的直观做法与 STEM 教育中更形式化的学科方法之间实现平稳过渡，同时通过对定理证明技术威力的利用来 favoring 这一过渡的软件支持。以下简要描述本卷如何贡献于这一事业。第十一届教育软件定理证明组件国际研讨会（ThEdu'22）是第八届联合逻辑会议（FLoC 2022）的卫星事件，2022年7月31日–8月12日，以色列海法。ThEdu'22 是一个充满活力的研讨会，包含 Thierry Dana-Picard（以色列耶路撒冷技术学院）与 Yoni Zohar（以色列特拉维夫巴伊兰大学）的两场邀请报告以及四篇投稿。随后发出公开征稿，吸引了七份投稿。这些投稿已由我们的审稿人接受，他们共同对每篇投稿至少出具了三份仔细报告。修订后的论文收录于本卷。本卷中的投稿忠实代表了 ThEdu 的广泛谱系，从更聚焦于自动化演绎研究、且不脱离教育环境中可能应用的论文，到更聚焦于自动化演绎工具与方法在教育环境中应用的论文。我们，本卷编辑，希望本论文集将进一步促进基于定理证明的软件的发展，并增进计算机科学家、数学家与教育利益相关者之间的相互理解。在本卷付印之际，下一届 ThEdu 研讨会正在筹备：ThEdu'23 将是第二十九届国际自动化演绎会议（CADE 2023）的卫星事件，2023年7月1日–4日，意大利罗马。
引用
@article{arxiv.2303.05360,
title = {Proceedings 11th International Workshop on Theorem Proving Components for Educational Software},
author = {Pedro Quaresma and João Marcos and Walther Neuper},
journal= {arXiv preprint arXiv:2303.05360},
year = {2023}
}