作者：魏玮 谢慧珍 张丽纯形式推演命题逻辑形式证明自动评分
摘要：自动阅卷评分是大规模计算机考试的必然选择，而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题，其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支，命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明，即存在一题多解的情况，但其证明有严格的程式，针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明，系统操作界面友好，可大大提高教师阅卷的工作效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
