《形式化方法》课程建设探索与实践.pdf
形式化方法是计算机科学的一个传统研究方向,是保证计算机软硬件系统正确性与安全性的一种重要方法.随着形式化方法应用在工业界的影响不断增大,以及计算思维2.0的渗透性进一步带动了形式化方法与其他学科方向的交叉融合,已越来越体现形式化方法教育的必要性与可行性.本文针对目前国内外形式化方法教育现状,从课程知识体系、教学模式创新、课程思政、教学资源建设、通专融合培养计算思维与创新思维能力等方面进行探索与实践.
作者：张广泉
作者单位：苏州大学计算机科学与技术学院,苏州,215006
母体文献：2021中国高校计算机教育大会论文集
会议名称：2021中国高校计算机教育大会
会议时间：2021年10月1日
会议地点：南宁
主办单位：全国高等学校计算机教育研究会,教育部
语种：chi
分类号：G64G63
关键词：高等院校 《形式化方法》 课程建设 教学改革
在线出版日期：2022年4月27日
基金项目：
相似文献
相关博文
- 文件大小:
- 704.88 KB
- 下载次数:
- 60
-
高速下载
|
|
