离散数学是什么
离散数学是传统的逻辑学
集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。
二元关系R与S的复合(也叫作合成)
例如:
R={<1,2>,<2,3>,<1,4>,<3,1>}
S={<2,3>,<3,4>,<1,2>,<4,1>}
R。S={<1,3>,<2,4>,<1,1>,<3,2>}
S。R={<2,1>,<1,3>,<4,2>,<4,4>}
离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主, 课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。
代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。