离散数学

本课程是信息化类专业的核心技术基础课，它为培养计算机系统设计、人工智能、数据库等人才方面具有重要的作用。教学内容包括: 命题演算基础；命题演算推理理论；谓词演算基础；谓词演算的推理理论；递归函数论；集合；关系；函数与集合的势；图；树与有序树；群与环、格与布尔代数。