Automated Generation of Exam Sheets for Automated Deduction

Hozzová, Petra; Kovács, Laura; Rath, Jakob

doi:10.1007/978-3-030-81097-9_15

记录链接：

http://hdl.handle.net/20.50012708/18557
https://doi.org/10.34726/1562

标题：

自动生成自动扣除的检查表

英语

引文：

Hozzová，P.、Kovács，L.和Rath，J.（2021）。自动生成用于自动扣款的试卷。在智能计算机数学。第十四届国际会议，2021年7月26日至31日，罗马尼亚蒂米索拉，CICM 2021。诉讼（第185-196页）。斯普林格。https://doi.org/10.34726/1562

存放DOI：

10.34726/1562

CatalogPlus：

AC17204607型

发布者DOI：

10.1007/978-3-030-81097-9_15

出版物类型：

诉讼中-全纸稿件

英语

语言：

英语

作者：

佩特拉·霍佐娃
劳拉·科瓦奇
雅各布·拉特

组织单位：

E192-04：系统工程中的Forschungsbereich形式化方法

发布时间：

智能计算机数学。第十四届国际会议，2021年7月26日至31日，罗马尼亚蒂米索拉，CICM 2021。诉讼

十亿英镑：

978-3-030-81097-9

体积：

12833

本书的DOI：

10.1007/978-3-030-81097-9

发布日期：

2021年8月12日

页数：

发布者：

施普林格，查姆

同行评审：

是的

关键词：

自动推理；自动扣除；定理证明

英语

摘要：

在新冠肺炎疫情期间，远程教学成为高等教育的默认模式，敦促教师和研究人员将课程材料修改为面向不同受众的可访问在线内容。可能最困难的挑战之一是在线评估课程表现，例如组织在线笔试。在这篇与教学相关的项目论文中，我们调查了我们为TU Wien的硕士级课程“自动演绎”组织的设置。我们课程中开发的算法和严格推理要求单独的试卷集中于问题解决和演绎证明；因此，在我们的课程中，使用测试网格的考试表对于笔试来说不是一个可行的解决方案。我们相信，我们为举行在线笔试而开发的自动推理工具的工具链，通过为我们的社区提供SAT/SMT解决和一阶定理证明方面的大量随机生成基准，不仅对其他远程学习平台有益，而且对自动推理研究人员也有益。

英语

项目名称：

用于程序分析的符号计算和自动推理：639270（欧盟委员会）
软件技术的理论和归纳自动化推理：2020年ERC合并拨款（欧盟委员会）

许可证：

英语

出现在集合中：

会议文献