离散数学Chap 1 命题逻辑 1.1培训课件教案教学计划.pptx

离散数学

任课教师：周金明1

2——斯蒂夫·乔布斯05年斯坦福大学毕业典礼上的演讲

《离散数学》课程简介《离散数学》是以研究离散量的结构和相互间关系为主要内容的一门课程.内容涉及数理逻辑、集合论、近世代数、图论等数学分支，与计算机科学中的数据结构，编译原理，操作系统，形式语言和自动机，逻辑设计，机器定理证明等课程有密切的联系，故也被称为计算机数学.3

《离散数学》课程内容Chap1命题逻辑Chap2谓词逻辑Chap3集合代数Chap4二元关系Chap5函数Chap6代数结构Chap7格与布尔代数Chap8图论集合论数理逻辑代数4

5《离散数学》课程特点深入思考：