离散数学 第3版【屈婉玲，耿素云，张立昂编著】-PDF电子版

书籍名称：离散数学 第3版

页数：336

作者：屈婉玲，耿素云，张立昂编著

出版时间：2014

ISBN：9787302339892

出版社：北京：清华大学出版社

简介：

前部分目录

第1章 数学语言与证明方法——1
1.1 常用的数学符号——1
1.1.1 集合符号——1
1.1.2 运算符号——2
1.1.3 逻辑符号——2
1.2 集合及其运算——3
1.2.1 集合及其表示法——3
1.2.2 集合之间的包含与相等——4
1.2.3 集合的幂集——5
1.2.4 集合的运算——6
1.2.5 基本集合恒等式及其应用——8
1.3 证明方法概述——11
1.3.1 直接证明法和归谬法——12
1.3.2 分情况证明法和构造性证明法——12
1.3.3 数学归纳法——14
1.4 递归定义——16
······
······
······