10.3969/j.issn.1006-2475.2014.02.002
命题逻辑中形式推演证明题的自动评阅系统
自动阅卷评分是大规模计算机考试的必然选择,而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题,其自动评分一直制约着考试系统的发展。数理逻辑是数学的一个分支,命题逻辑是数理逻辑的一部分。命题逻辑的同一个形式可推演性模式可以有不同的形式证明,即存在一题多解的情况,但其证明有严格的程式,针对其特点用C#开发一个适用于其自身的自动评分系统。应用表明,系统操作界面友好,可大大提高教师阅卷的工作效率。
形式推演、命题逻辑、形式证明、自动评分、C#
TP39(计算技术、计算机技术)
2014-02-27(万方平台首次上网日期,不代表论文的发表时间)
共5页
6-9,14