首页> 中文期刊> 《大学教育》 >高校计算机专业形式化方法课程教学研究

高校计算机专业形式化方法课程教学研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

高校计算机专业开设形式化方法课程十分必要.必须设计课程目标和教学方法,并提出考核和评价学生学习效果的标准,通过严格的数学方法让学生获取对其他课程也很有益的知识、技术和能力.

著录项

来源
《大学教育》 |2012年第2期|73-74|共2页
作者
李均涛;
展开▼
作者单位

贵州财经大学信息学院,贵州贵阳550014;

展开▼
原文格式 PDF
正文语种 chi
中图分类课程论课程设计、课程标准等入此。;
关键词
形式化方法; 课程教学; 行为时序逻辑; 系统描述;

相似文献

中文文献
外文文献
专利

1. 欧洲高校计算机专业的形式化方法课程教学 [J] . 古天龙 ,董荣胜 . 计算机教育 . 2008,第010期
2. 高校非计算机专业C语言程序设计课程教学研究 [J] . 高扬 ,付丽 ,冉玲苓 . 黑龙江教育（理论与实践） . 2015,第004期
3. 高校非计算机专业计算机基础课程的教学研究与探讨 [J] . 张少波 ,冯建湘 ,孙亚鹏 . 当代教育理论与实践 . 2011,第012期
4. 高校非计算机专业计算机课程教学研究 [J] . 胡云 ,施珺 ,李慧 . 淮海工学院学报（社会科学版） . 2011,第022期
5. 高校非计算机专业C语言课程教学研究 [J] . 赵光胜 . 福建电脑 . 2009,第001期
6. 欧洲高校计算机专业的形式化方法课程教学 [C] . 古天龙 ,董荣胜 . 第二届中国计算机教育与发展学术研讨会 . 2008
7. 中职学校计算机专业课程与教学研究——以长海县职业中专为例 [A] . 王颖 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号