首页|计算机辅助证明系统在离散数学课程教学中的应用与实践

计算机辅助证明系统在离散数学课程教学中的应用与实践

扫码查看
针对离散数学课程证明类作业习题无法实时反馈证明过程正确与否的现状,提出一种在线网络实验平台利用计算机辅助证明系统检查学生的证明过程是否正确并实时反馈作业成绩的思路,介绍平台设计与实施过程,最后说明教学效果.

李令昆、马芸达、马雅诗、刘铎

展开 >

北京交通大学软件学院,北京 100044

上海市质量监督检验技术研究院,上海 201114

离散数学 计算机辅助证明 教学改革 网络实验平台

2024

计算机教育
清华大学

计算机教育

影响因子:1.033
ISSN:1672-5913
年,卷(期):2024.(12)