摘 要：文章阐述了研究构建数理逻辑考试及自动阅卷系统的意义，论述了系统的设计与实现方案，对系统的学生管理模块、题库管理模块、考试管理模块、在线考试模块、自动阅卷模块和成绩分析模块进行了详细的介绍。数理逻辑考试及自动阅卷系统的应用，有助于教师高效地开展数理逻辑考试的出卷、阅卷以及成绩分析工作，大大减轻了教师的工作量，可帮助学生快速检验自己的学习效果，及时巩固所学知识，提高学习效率。
关键词：数理逻辑；在线考试；自动阅卷；Python
DOI:10.19850/j.cnki.2096-4706.2021.10.037
基金项目：湖南省普通高等学校教学改革研 究项目（2019-396）
中图分类号：TP391.1 文献标识码：A 文章编号：2096-4706（2021）10-0141-03
Design and Implementation of Mathematical Logic Examination and Automatic Marking System
WEI Changfa，ZENG Yani
（School of Information Science and Engineering，Hunan University of Chinese Medicine，Changsha 410208，China）
Abstract：The significance of researching and constructing mathematical logic examination and automatic marking system is expounded in this paper. The design and implementation scheme of the system are discussed. The student management module，question bank management module，examination management module，online examination module，automatic marking module and score analysis module of the system are introduced in detail. The application of mathematical logic examination and automatic marking system help teachers to efficiently carry out the work of mathematical logic examination paper production，marking and score analysis，greatly reducing the workload of teachers，helping students quickly test their own learning effect，making the students consolidate the knowledge learned in time，and improve learning efficiency
Keywords：mathematical logic；online examination；automatic marking；Python
参考文献：
[1] 邓英伟，袁晓红，张小琳，等 . 智能在线考试系统研究 [J]. 海峡科技与产业，2017（10）：67-68+74.
[2] 杨威，张莹鑫，薛二虎 . 智能在线考试系统的设计与实现 [J]. 长春师范大学学报，2017，36（4）：26-30.
[3] 杜君花，梁红梅，马艳萍 . 数理逻辑的若干应用 [J]. 高师 理科学刊，2018，38（9）：56-60.
[4] 张晓如，张再跃 . 面向学科素养培养的数理逻辑教学 [J]. 计算机教育，2016（12）：120-123+127.
[5] 徐国愚 . 关于数理逻辑发展史及公式理解的教学实践 [J]. 科技创新导报，2020，17（16）：226-227.
[6] 杨井荣，李思莉 . 离散数学中命题逻辑的应用研究 [J]. 计 算机技术与发展，2021，31（3）：115-119.
作者简介：韦昌法（1982—），男，壮族，广西巴马人，副教 授，博士研究生在读，研究方向：教育信息化、中医智能辅助诊疗； 曾亚妮（1999—），女，汉族，湖南怀化人，本科在读，研究方向： 信息系统开发。