首页 > 《计算机教育》 > 2008年10期 > 欧洲高校计算机专业的形式化方法课程教学

欧洲高校计算机专业的形式化方法课程教学

在线阅读下载PDF 导出详情

摘要本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。

DOI pj01ryp0dy/594203

作者古天龙;董荣胜

机构地区不详

出处《计算机教育》 2008年10期

关键词计算机学科形式化方法知识体系欧洲高校

分类 [自动化与计算机技术][计算机科学与技术]

出版日期 2008年10月20日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1陈梅. 高校非计算机专业计算机基础课程教学之我见.成人教育学,2006-04.
2马战生;马艳琳. 高校非计算机专业计算机课程的教学改革.高等教育学,1995-04.
3张瑞;舒虹. 高校非计算机专业计算机教学的几点思考.高等教育学,2010-03.
4蒋中云. 非计算机专业“计算机网络”课程教学方法的探讨.计算机科学与技术,2009-12.
5吉爱萍 ,苏莹. 高校非计算机专业计算机基础教学改革.教育学,2023-01.
6许恒源李校锋陈圣健. 高校非计算机专业计算机基础教学改革探究.语言学,2018-11.
7陈卫军. 关于高校非计算机专业计算机教学改革的思考.职业技术教育学,2008-02.
8韦凝芳. 非计算机专业计算机基础教学的课程体系建设.高等教育学,2006-08.
9郑强. 师范类成人高校非计算机专业计算机教学探讨.教育学,1994-02.
10樊琪. 高校非计算机专业计算机基础教学现状与改革研究.文化科学,2018-09.

来源期刊

计算机教育

计算机教育

相关推荐

同分类资源更多

相关关键词

计算机学科形式化方法知识体系欧洲高校

返回顶部