《表2 形式化方法和应用选修课程（Bachelor/Master)》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《关于计算机专业开设逻辑与验证类课程教学的思考》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

慕尼黑工业大学计算机学院本科课程设置见表1，其中，在第5和第6学期需要选修的课程学分需达到15学分，共分为大约10个不同领域，由本科和硕士生共享。与逻辑和验证最为相关的领域是“形式化方法和应用（Formal methods and their application，FMA）”，该领域的选修课及学分见表2。