2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试精品资料.doc

考研复试精品资料 第 第 PAGE 4 页 共 NUMPAGES 304 页 【笔试】2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试精品资料 目录 TOC \o 1-3 \h \z \u 封面 1 目录 4 2022年北京交通大学[计算机与信息技术学院] 02102离散数学复试备考信息 6 北京交通大学[计算机与信息技术学院] 02102离散数学考研复试参考书目 6 北京交通大学[计算机与信息技术学院] 02102离散数学考研复试招生适用院系 6 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试大纲 7 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试大纲 7 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试核心笔记 8 《离散数学》考研复试核心笔记 8 第1章 命题逻辑 8 考研提纲及考试要求 8 考研核心笔记 8 第2章 谓词逻辑 20 考研提纲及考试要求 20 考研核心笔记 20 第3章 集合与关系 25 考研提纲及考试要求 25 考研核心笔记 25 第4章 函数 43 考研提纲及考试要求 43 考研核心笔记 43 第5章 代数结构 48 考研提纲及考试要求 48 考研核心笔记 48 第6章 格和布尔代数 59 考研提纲及考试要求 59 考研核心笔记 59 第7章图论 71 考研提纲及考试要求 71 考研核心笔记 71 第8章 形式语言与自动机 85 考研提纲及考试要求 85 考研核心笔记 85 第9章 纠错码初步 93 考研提纲及考试要求 93 考研核心笔记 93 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试辅导课件 96 《离散数学》考研复试辅导课件 96 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试复习提纲 151 《离散数学》考研复试复习提纲 151 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试核心题库 292 《离散数学》考研复试核心题库之计算证明题精编 292  2022年北京交通大学[计算机与信息技术学院] 02102离散数学复试备考信息 北京交通大学[计算机与信息技术学院] 02102离散数学考研复试参考书目 左孝凌《离散数学》 北京交通大学[计算机与信息技术学院] 02102离散数学考研复试招生适用院系 计算机与信息技术学院  2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试大纲 2022年北京交通大学[计算机与信息技术学院] 02102离散数学考研复试大纲 1、命题逻辑的基本概念。掌握命题、联结词、命题公式、真值表。 2、命题逻辑等值演算。掌握等价公式、重言式、蕴含式、等值演算，合取范式、析取 范式、主合取范式及主析取范式。 3、命题逻辑的推理理论。掌握命题推理理论。 4、一阶逻辑基本概念。掌握谓词、量词、谓词公式。 5、一阶逻辑等值演算与推理。掌握谓词演算公式的前束范式，谓词演算公式真值的求 解方法，谓词推理理论。 6、集合代数理解集合运算和集合等式证明。掌握集合的概念和表示，集合元素计数。 7、二元关系。（1）理解关系的定义，表示和性质，等价关系与划分；（2）掌握关系的 定义，表示和性质，偏序关系，哈斯图与极值。 8、函数。了解函数的定义与性质，函数复合运算与逆函数。 9、代数系统。掌握代数系统概念，代数系统同态，同构映射。 10、群与环。掌握半群，独异点，单位元，零元，群，子群，交换群，循环群，有限群， 置换群，商群，陪集，环，整环，无零因子环的定义；（2）群，子群，循环群，有限群，环， 整环的性质和判别方法。 11、格与布尔代数。（1）理解格的同态的概念；（2）掌握格、子格、分配格和有补格的 定义和基本性质；（3）子格、分配格和有补格的判定方法；（4）有限布尔代数的结构和性质。 12、图的基本概念。（1）了解图的运算。理解有向图、无向图、通路、回路；（2）掌握 握手定理及推论，图的矩阵表示及应用。 13、欧拉图与哈密顿图。（1）理解欧拉图，欧拉通路和回路，哈密尔顿图，哈密尔顿通 路和回路；（2）掌握欧拉图的性质和判定方法，哈密尔顿图的性质和某些哈密