课程3 《离散数学与Python》:课程主要有三个方面:(1)以逻辑为认知基础,重新构建离散数学知识体系。研究数理逻辑的表征方法以及形式证明方法。谓词逻辑作为集合论、图论以及代数系统基础,概念、运算和关系由逻辑命题表征,其定理证明变为逻辑证明。(2)以计算(Python程序)为认知基础,使用现代工具构建集合论、图论以及代数系统的概念、运算和关系。从而培养学生发现和验证的科学素质和工程能力。用计算(Python程序)验证定理,用Isabelle证明器逻辑证明逻辑定理。(3)研究离散数学作为计算机专业基础问题。数理逻辑的命题逻辑作为数字逻辑以及计算机组成的基础。集合论、图论作为软件模型,以解决离散数学作为计算机专业基础问题。
马殿富