离散数学实时判卷系统  

Real-Time Checking System for Discrete Mathematics

作　　者：王庆先 杨晗 符红光[2] WANG Qing-xian;YANG Han;FU Hong-guang(School of Information and Software Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China;School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 611731,China)

机构地区：[1]电子科技大学信息与软件工程学院,成都610054 [2]电子科技大学计算机科学与工程学院,成都611731

出　　处：《大学数学》2019年第2期39-44,共6页College Mathematics

基　　金：国家863计划(2015AA015408);全国教育信息技术研究重点课题(166123279)

摘　　要：为了解决教师作业批改任务重,反馈不及时的问题,根据离散数学课程知识体系结构、习题特点以及教学大纲要求,设计并实现了针对离散数学的实时判卷系统.该系统主要包括作业布置、完成作业、自动判卷和个性化推荐等功能模块.教师可以通过该系统布置作业、查看作业完成情况;学生可以通过该系统完成作业,包括客观题和主观题的快捷输入、自评查看等.由于实时判卷系统能将学生作业情况快速地反馈给学生和授课教师,从而有效地促使学生自主学习,显著减轻教师作业批改的工作量.To solve the problems of checking the homework and feedback in time,a real time checking system is designed and implemented based on the knowledge architecture,the characteristics of the exercises and the syllabus of discrete mathematics.The system mainly includes input module about student answer process,the module of checking and the recommendation module of self-learning.Through this system,students can finish easily the objective and subjective questions of discrete mathematics.The system will check the results automatically as soon as the students upload their homework,and feedback in time the checking result to the students and instructors.Thus,the students’ autonomous learning and the teacher’s pertinent teaching can be effectively realized.

关 键 词：实时判卷 离散数学 自动推理 自主学习 

分 类 号：G642[文化科学—高等教育学]