2018年北京交通大学02102离散数学
参考书目、考试大纲、专业课复习方法
一、专业课代码及名称
02102离散数学
二、专业课参考书
《离散数学(修订版)》，高等教育出报社，耿素云屈婉玲
三、考试大纲
1、命题逻辑的基本概念。掌握命题、联结词、命题公式、真值表。2、命题逻辑等值演算。掌握等价公式、重言式、蕴含式、等值演算，合取范式、析取范式、主合取范式及主析取范式。
3、命题逻辑的推理理论。掌握命题推理理论。
4、一阶逻辑基本概念。掌握谓词、量词、谓词公式。
5、一阶逻辑等值演算与推理。掌握谓词演算公式的前束范式，谓词演算公式真值的求解方法，谓词推理理论。
6、集合代数理解集合运算和集合等式证明。掌握集合的概念和表示，集合元素计数。
7、二元关系。（1）理解关系的定义，表示和性质，等价关系与划分；（2）掌握关系的定义，表示和性质，偏序关系，哈斯图与极值。
8、函数。了解函数的定义与性质，函数复合运算与逆函数。
9、代数系统。掌握代数系统概念，代数系统同态，同构映射。
10、群与环。掌握半群，独异点，单位元，零元，群，子群，交换群，循环群，有限群，置换群，商群，陪集，环，整环，无零因子环的定义；（2）群，子
高硕教育新祥旭考研www.99jianzhu.com
www.99jianzhu.com/包含内容：建筑图纸、PDF/word/ppt 流程，表格，案例，最新,免费下载,施工方案、工程书籍、建筑论文、合同表格、标准规范、CAD图纸等内容。