计算机教育2024，Issue(12) ：163-167.

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

李令昆 马芸达 马雅诗 刘铎
计算机教育2024，Issue(12) ：163-167.
✕
  • 维普
  • 万方数据

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

李令昆 1马芸达 1马雅诗 2刘铎1
扫码查看

作者信息

  • 1. 北京交通大学软件学院,北京 100044
  • 2. 上海市质量监督检验技术研究院,上海 201114
  • 折叠

摘要

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

关键词

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

引用本文复制引用

出版年

2024
计算机教育
清华大学

计算机教育

影响因子：1.033
ISSN：1672-5913
段落导航相关论文