4CAI2-01:离散数学结构 学分:3 满分:100(IA:30,ETE:70) 3L+0T+0P 期末考试:3 小时 SN 内容 小时 1 简介:课程目标、范围和结果。 1 2 集合论:集合的定义、可数集和不可数集、集合运算、集合划分、基数(包含-排斥和加法原理)维恩图、集合上一些一般恒等式的证明。关系:定义、关系类型、关系组合、关系的图形表示、等价关系、偏序关系、作业调度问题。函数:定义、函数类型、一对一、入函数和到函数、反函数、函数组合、递归定义函数、鸽巢原理。定理证明技术:数学归纳法、矛盾证明。函数组合。鸽巢原理和广义鸽巢原理。