命题逻辑中形式推演证明题的自动评阅系统

摘要：

自动阅卷评分是大规模计算机考试的必然选择，而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题，其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支，命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明，即存在一题多解的情况，但其证明有严格的程式，针对其特点用C＃开发一个适用于其自身的自动评分系统。应用表明，系统操作界面友好，可大大提高教师阅卷的工作效率。

关键词：形式推演、命题逻辑、形式证明、自动评分、C#

分类号：TP39(计算技术、计算机技术)

在线出版日期：2014-02-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：6-9,14