国家学术搜索
登录
注册
中文
EN
首页
|
计算机辅助证明系统在离散数学课程教学中的应用与实践
计算机辅助证明系统在离散数学课程教学中的应用与实践
引用
认领
扫码查看
点击上方二维码区域,可以放大扫码查看
原文链接
万方数据
维普
中文摘要:
针对离散数学课程证明类作业习题无法实时反馈证明过程正确与否的现状,提出一种在线网络实验平台利用计算机辅助证明系统检查学生的证明过程是否正确并实时反馈作业成绩的思路,介绍平台设计与实施过程,最后说明教学效果.
收起全部
展开查看外文信息
作者:
李令昆、马芸达、马雅诗、刘铎
展开 >
作者单位:
北京交通大学软件学院,北京 100044
上海市质量监督检验技术研究院,上海 201114
关键词:
离散数学
计算机辅助证明
教学改革
网络实验平台
出版年:
2024
计算机教育
清华大学
计算机教育
影响因子:
1.033
ISSN:
1672-5913
年,卷(期):
2024.
(12)