BriefGPT.xyz
Ask
alpha
关键词
exam grading
搜索结果 - 1
使用 Isabelle 证明助手进行考试
本文介绍一种使用 Isabelle 证明助手对自动推理课程学习成果进行测试的方法，该方法允许测试不同逻辑证明系统中形式证明的一般理解和特别是在 Isabelle/HOL 高阶逻辑中证明的理解，最终讨论了使用该方法考试并进行评分的经验和未来潜
→
PDF
a year ago
Prev
Next