试学
离散数学是计算机学科的基础课程，为学习者进一步学习《数据结构》，《程序设计》，《操作系统》等相关课程提供了必要的知识。为学习者将来工作中的电路板的制作、复杂程序的设计、开关电路及人工智能的研究提供理论基础。本课程分为集合论、图论、逻辑学3部分。集合论包括集合的基本概念，二元关系和群论三章。图论包括图和树两章。逻辑学包括命题逻辑和谓词逻辑两章。
北京大学计算中心教授
