1.集合与元素 集合是个最基本的概念 集合:是由确定的对象(客体)构成的集体 用大写的英文字母表示。 这里所谓“确定”是指:论域内任何客体 要么属于这个集合,要么不属于这个集合, 是唯一确定的。 元素:集合中的对象,称之为元素 ∈:表示元素与集合的属于关系

函数是二元关系中特殊的一类，也就是说，函数是一种特定类型的二元关系。本章讨论的是离散函数，它能把一个有穷集合变换到另一个有穷集合。 §1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

3.1 集合论基础 3.2 集合运算及其性质 3.3 集合的笛卡儿积与无序积

集合论的基础是由德国数学家 Cantor 在 19 世纪 70 年代奠定 的。 集合：指具有某种特定性质的具体的或抽象的对象汇集成的总 体。 这些具体的或抽象的对象称为该集合的元素

教学目的 继续介绍集合论的基础内容, 如映射, 基数, 可数集与不 可数集等. 本节要点 一一对应的思想与方法贯穿本节的核心.基数的概念.可数 集的讨论,都要用的一一对应的方法.证明两个不同的集对等, 从而具有相 同的基数, 特别地, 要证明一个集是可数集, 有时需要一定的技巧, 因而 具有一定的难度, 通过较多的例题和习题, 使学生逐步掌握其方法和技巧. 映射 在数学分析课程中我们对函数已经很熟悉. 在数学分析中函数的定义域通常是

本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

一、基本概念及集合的表示方法 二、集合间的关系 三、特殊集合 四、集合的运算 五、包含排斥原理

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-（2006级）

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-07（2010级）