Can I read 离散数学及应用 on EtoBox?

离散数学及应用 by 刘铎编著, 刘铎, 1978-, 刘铎编著, 刘铎 is a book available to read on EtoBox.

What is 离散数学及应用 about?

1 (p1): 第1章 基础知识 1 (p1-1): 1.1集合与序列 1 (p1-1-1): 1.1.1集合的基本概念 3 (p1-1-2): 1.1.2集合的运算及性质 6 (p1-1-3): 1.1.3序列 6 (p1-2): 1.2数论基础 10 (p1-3): 1.3计数基础 10 (p1-3-1): 1.3.1加法法则与乘法法则 11 (p1-3-2): 1.3.2排列与组合 16 (p1-3-3): 1.3.3鸽巢原理 18 (p1-3-4): 1.3.4有限集的计数——容斥原理 20 (p1-3-5): 1.3.5递推关系 23 (p1-4): 1.4布尔矩阵及其运算 25 (p1-5): 习题一 33 (p2): 第2章 命题逻辑 33 (p2-1): 2.1命题逻辑的基本概念 37 (p2-2): 2.2命题公式及其分类 40 (p2-3): 2.3命题逻辑的等值演算 45 (p2-4): 2.4对偶与范式 45 (p2-4-1): 2.4.1对偶 46 (p2-4-2): 2.4.2析取范式和合取范式 48 (p2-4-3): 2.4.3主范式 54 (p2-5): 2.5命题联结词的完备集 56 (p2-6): 2.6命题逻辑的推理 62 (p2-7): 习题二 70 (p3): 第3章 谓词逻辑 70 (p3-1): 3.1谓词、量词与自然语句形式化 70 (p3-1-1): 3.1.1谓词 71 (p3-1-2): 3.1.2量词 72 (p3-1-3): 3.1.3自然语句形式化 74 (p3-2): 3.2谓词公式及分类 77 (p3-3): 3.3谓词逻辑的等值演算 81 (p3-4): 3.4前束范式 82 (p3-5): 3.5谓词逻辑的推理 89 (p3-6): 习题三 94 (p4): 第4章 二元关系 94 (p4-1): 4.1关系及其表示 94 (p4-1-1): 4.1.1有序对与笛卡儿积 96 (p4-1-2): 4.1.2二元关系的定义 98 (p4-1-3): 4.1.3二元关系的表示 100 (p4-2): 4.2关系的运算 100 (p4-2-1): 4.2.1关系的基本运算 103 (p4-2-2): 4.2.2关系的幂和道路 106 (p4-3): 4.3关系的性质 106 (p4-3-1): 4.3.1关系性质的定义和判断 110 (p4-3-2): 4.3.2关系运算对性质的保持 111 (p4-4): 4.4关系的闭包 116 (p4-5): 4.5等价关系和集合的划分 117 (p4-5-1): 4.5.1等价关系、等价类和商集 118 (p4-5-2): 4.5.2集合的划分 119 (p4-5-3): 4.5.3等价关系与划分的一一对应 120 (p4-6): 4.6关系在计算机中的

Author

刘铎编著, 刘铎, 1978-, 刘铎编著, 刘铎

Publisher

北京:清华大学出版社

Published

2013

Language

ZH

ISBN

9787302320159