期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
计算思维培养为核心的编译原理实验教学实践
下载PDF
职称材料
导出
摘要
计算思维是当前教育界广为关注的一个重要概念。该文结合编译原理实验课程中的实验内容,以培养学生的计算思维为核心,从实验内容、实验过程及考核方式三方面,对编译原理的实验课程实施改革,从而提高学生运用形式化方法抽象问题、描述问题、解决复杂问题的能力。
作者
孙守卿
鞠传香
刘晓红
机构地区
山东理工大学
出处
《电脑知识与技术》
2018年第12期90-90,93,共2页
Computer Knowledge and Technology
关键词
计算思维
计算参与
形式化描述
关注点分离
分类号
G642 [文化科学—高等教育学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
61
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
刘敏娜,张倩苇.
国外计算思维教育研究进展[J]
.开放教育研究,2018,24(1):41-53.
被引量:62
共引文献
61
1
黄玉卿.
基于ScratchPi编程课程计算思维的培养研究[J]
.汉字文化,2019(S02):208-209.
2
石秋香,赵雅婷,王丽影,蔡宁.
计算思维能力培养的小学数学课堂教学改革[J]
.办公自动化,2020(23):46-47.
被引量:9
3
朱立吾.
浅谈动圈仪表的最佳测量区间[J]
.计量与测试技术,2000,27(3):30-30.
4
张菊芳.
计算思维能力的培养策略探究[J]
.中小学电教(综合),2018(11):16-18.
被引量:3
5
张纯然,李建英,李春艳.
信息技术课程中计算思维培养现状与解决策略研究[J]
.办公自动化,2018,23(22):38-39.
6
马倩,李建英,张纯然.
基于ScratchJR软件培养少儿的计算思维研究[J]
.办公自动化,2019,24(7):36-39.
被引量:5
7
游永兴.
计算思维在高等教育中的作用及培养[J]
.高教论坛,2018(10):40-42.
被引量:2
8
李欢欢,黄瑾.
我国STEM教育十年发展规律探析(2009-2018年)[J]
.基础教育,2018,15(5):63-71.
被引量:14
9
李勤,敬思远,张建东.
近十年我国计算机教育热点知识图谱分析[J]
.乐山师范学院学报,2018,33(12):95-101.
被引量:2
10
吕春燕,傅钢善.
计算思维研究进展与可视化分析[J]
.中国教育信息化,2019,25(5):8-12.
被引量:4
1
王可心.
在线考试系统考生考试过程的形式化描述[J]
.数码世界,2018(9):223-223.
2
黄健.
携手形式化方法 守望计算之春——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞[J]
.中国科技奖励,2019,0(2):49-51.
被引量:1
3
温吉年.
在小学数学课堂中结合生活与实践提升学生的核心素养[J]
.小学时代,2018,0(19):44-44.
4
赵林.
奋战计算机技术前沿打造未来科技新时代——记上海交通大学计算机科学与工程系符鸿飞[J]
.中国科技投资,2018,0(32):75-76.
5
张建春,曾艳阳,徐文鹏,康凤举.
基于改进混合DEVS的装备建模方法研究[J]
.系统仿真学报,2018,30(11):4123-4131.
被引量:1
6
李渤,徐伟光,张涛.
基于攻击面的通用系统安全统一建模研究[J]
.信息系统工程,2019,32(1):18-20.
被引量:2
7
马顶,付明,乔磊,冯新宇.
复杂内核数据结构的形式化描述和验证[J]
.小型微型计算机系统,2019,40(2):359-366.
被引量:4
8
张杰,刘耕阳,关永.
一种水下群机器人路径规划算法的形式化研究[J]
.计算机应用研究,2019,36(2):490-494.
被引量:3
9
侯翌,杨培林,徐凯,刘青,樊娟妮.
基于概率模型检测的机电系统动态可靠性评价[J]
.中国机械工程,2019,0(5):549-553.
被引量:2
电脑知识与技术
2018年 第12期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部