2016年第9期-中国计算机学会

您的位置：首页 > 出版物 > 中国计算机学会通讯 > 2016年第9期

专题陈钢

形式化数学和证明工程

最近几十年，基础性科学研究越来越受到世界范围的高度重视，形式化数学(formalized mathematics)和证明工程(proof engineering) 就是其中的一个重要研究方

2016年第9期

本期摘要

本期专题是网络领域新兴课程的建设。网络技术的发展日新月异，现代工程技术人员只有熟悉并掌握相关技术知识和技能才能适应快速发展的社会。如何培养专业化人才？如何创新、创业？高校信息技术类专业责无旁贷。很多高校已开始着手进行网络领域课程改革，开设新兴课程。本期专题几位作者介绍了他们在开设新兴课程中的思路、经验和体会，希望能给还在教学改革路上探索的教师以启发。

整本阅读本期下载

形式化数学和证明工程

2016年第9期

往期回顾
2017年第2期之前刊物请浏览老网站

2018年第3期

2018年第2期

2018年第1期

2017年第12期

2017年第11期

2017年第10期

2017年第9期

2017年第8期

2017年第7期

2017年第6期

2017年第5期

2017年第4期

2017年第3期

2017年第2期

2016年第11期

2016年第10期

2016年第9期

2016年第9期

往期回顾2017年第2期之前刊物请浏览老网站

往期回顾
2017年第2期之前刊物请浏览老网站