首先介绍计算机科学中的逻辑与验证技术,接着概述国内大学哲学、数学和计算机专业开设相关课程的现状,然后分析慕尼黑工业大学计算机学院在逻辑与验证领域的研究,结合证明助手的开发和使用所设置的专业课程,并将其与国内大学计算机专业在数学基础课、数理逻辑/离散数学和逻辑学、函数式编程和函数式数据结构等课程进行对比分析,最后提出4点建议。