《离散数学》教案第一章集合与关系集合是数学中最基本的概念，又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。
集合论是离散数学的重要组成部分，是现代数学中占有独特地位的一个分支。
G. Cantor(康脱)是作为数学分支的集合论的奠基人。
1870年前后，他关于无穷序列的研究导致集合论的系统发展。
1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。
1878年，他引进了两个集合具有相等的“势”的概念。
然而，朴素集合论中包含着悖论。
第一个悖论是布拉利-福尔蒂的最大序数悖论。
1901年罗素发现了有名的罗素悖论。
1932年康脱也发表了关于最大基数的悖论。
集合论的现代公理化开始于1908年策梅罗所发表的一组公理，经过弗兰克尔的加工，这个系统称为策梅罗-弗兰克尔集合论（ZF），其中包括1904年策梅罗引入的选择公理。
另外一种系统是冯·诺伊曼-伯奈斯-哥德尔集合论。
公理集合论中一个有名的猜想是连续统假设（CH）。
哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性，科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。
现在把策梅罗-弗兰克尔集合论与选择公理一起称为ZFC系统。
一、学习目的与要求本章目的是介绍集合的基本概念，讲授集合运算的基本理论，关系的定义与运算。
通过本章的学习，使学生了解集合是数学的基本语言，掌握主要的集合运算方法和关系运算方法，为学习后续章节打下良好基础。
二、知识点1．集合的基本概念与表示方法；2．集合的运算；3．序偶与笛卡尔积；4．关系及其表示、关系矩阵、关系图；5．关系的性质，符合关系、逆关系；6．关系的闭包运算；7．集合的划分与覆盖、等价关系与等价类；相容关系；8．序关系、偏序集、哈斯图。
三、要求1．识记集合的层次关系、集合与其元素间的关系，自反关系、对称关系、传递关系的识别，复合关系、逆关系的识别。
2．领会领会下列概念：两个集合相等的概念几证明方法，关系的闭包运算，关系等价性证明。
自考离散数学知识点总结详述自考离散数学知识点总结详述离散数学是计算机学科的专业基础课程，它对学生计算机科学理论水平的提高起着非常重要的作用。
学习方法因人而异，适合于他人的学习方法不一定适合于自己。
因此，通过学习总结出适合自身的学习方法是很重要的。
下面就让小编给大家带来自考离散数学知识点总结，希望大家喜欢！自考离散数学知识点总结离散数学的每一个概念都是由定义给出的，分析定义，弄清定义所给出的概念是非常重要的，是初学者的首要任务。
离散数学中的定义往往从严格的数学角度出发进行描述，是某种概念的高度抽象。
它与高等数学中的某些带有直观性的定义相比更具严格化。
因此，一定要站在严格的数学角度上去理解离散数学的定义，建立严格的数学概念。
重视数学性质和证明过程数学概念的讨论一般建立在这些概念所具有的性质之上，性质的研究是对数学概念讨论的进一步深入，往往通过命题、定理、推论等形式研究抽象概念的特性。
充分理解数学概念性质的方法是完全弄懂该性质的证明过程，这不仅是学习数学知识的过程，也是增强抽象思维能力，培养逻辑严密程度的重要途径。
数学定理的证明是一项困难和枯燥的工作，初学者往往因畏惧其难度而放过许多证明的细节，这是非常不可取的。
因为读懂证明过程的每一步不仅是掌握知识的重要环节，而且还是培养各种能力的`有效途径。
证明技巧的训练，可以促进推理技能的提高、逻辑抽象的深入、思维方式的严谨和理解能力的增强。
当然，这需要一个长期训练的过程，不可能立杆见影，希望通过个别定理的证明而达到提高各种能力的想法是不现实的。
所以，重视每一个性质以及它的证明过程是非常重要的。
在没有完全弄懂每一个概念的情况下，试图解答练习中的习题是急于求成的做法。
正确的方法应该是先从读书做起，首先把每一个概念搞清楚，基础打扎实，然后再通过习题的演练达到巩固已学知识的目的。
这种做法看似花费了较多的时间，但从效果上看更具事半功倍的作用。
读书时追求细腻反复读书是学好离散数学不可缺少的一环。
