《表3 慕尼黑工业大学“形式方法和应用”领域选修课程与必修课程之间的先修关系》

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

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

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

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

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

所有本科必修课程的先修关系总结如图1所示。可以说，这些必修课程基本上奠定了进一步学习专业知识的理论和实践基础。表3总结了计算机专业必修课程之间以及与“形式方法和验证”领域选修课程之间的先修关系。