教学型高校培养目标定位研究

目前,教学型高校由于定位不清,在培养目标上存在同质化、单一化、表述过于笼统等问题。按照国际教育标准分类法,不同类型高校其培养目标各不相同,培养应用型人才是教学型高校的理性选择,应根据社会需求和学校现实条件确定其培养目标定位。

欧洲高等院校计算机学科形式化方法教育探析

本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考.