Can I read 离散数学 on EtoBox?

离散数学 by 陈光喜,丁宣浩,古天龙编著, 陈光喜, 丁宣浩, 古天龙编著, 陈光喜, 丁宣浩, 古天龙 is a book available to read on EtoBox.

What is 离散数学 about?

3 (p1): 第1篇 数理逻辑 3 (p2): 第1章 命题逻辑基本概念 3 (p3): 1.1 命题与命题联结词 7 (p4): 1.2 命题公式及其真值表 9 (p5): 1.3 命题逻辑等值演算 12 (p6): 1.4 主析取范式与主合取范式 19 (p7): 1.5 联结词的完备集 21 (p8): 第2章 命题逻辑的推理理论 21 (p9): 2.1 命题逻辑的推理演算 26 (p10): 2.2 命题逻辑的归结推理方法 29 (p11): 2.3 命题逻辑的公理系统 32 (p12): 第3章 谓词逻辑基本概念 32 (p13): 3.1 谓词、个体词与量词 35 (p14): 3.2 谓词公式的分类与解释 37 (p15): 3.3 等值演算与前束范式、Skolem范式 43 (p16): 第4章 谓词逻辑的推理理论 43 (p17): 4.1 谓词逻辑的推理演算 47 (p18): 4.2 谓词逻辑的归结推理方法 49 (p19): 数理逻辑习题 53 (p20): 数理逻辑应用实践性习题 56 (p21): 第2篇 集合论与关系 56 (p22): 第5章 集合论初步 56 (p23): 5.1 集合的基本概念 63 (p24): 5.2 自然数与无穷公理、归纳法原理 65 (p25): 5.3 有序对与笛卡儿积 68 (p26): 第6章 二元关系 68 (p27): 6.1 二元关系概述 70 (p28): 6.2 关系运算及性质 80 (p29): 第7章 等价关系与偏序关系 80 (p30): 7.1 等价关系与集合的划分 83 (p31): 7.2 偏序关系与哈斯图 88 (p32): 7.3 函数 91 (p33): 7.4 集合的基数 95 (p34): 集合论与关系习题 98 (p35): 集合论与关系应用实践性习题 102 (p36): 第3篇 组合数学与数论初步 102 (p37): 第8章 组合数学初步 102 (p38): 8.1 计数、排列与组合 102 (p39): 8.1.1 加法法则 102 (p40): 8.1.2 乘法法则 103 (p41): 8.1.3 排列与组合 105 (p42): 8.1.4 组合和排列生成算法 106 (p43): 8.1.5 二项式定理 106 (p44): 8.2 递推关系和母函数 106 (p45): 8.2.1 递推关系 108 (p46): 8.2.2 母函数 111 (p47): 8.3 抽屉原理 113 (p48): 第9章 数论初步 113 (p49): 9.1 整除 113 (p50): 9.1.1 整除和因数 114 (p51): 9.1.2 质数与合数 116 (p52): 9.1.3 最大公因数、最小公倍数 118 (p53): 9.1.4 唯一分解

Author

陈光喜,丁宣浩,古天龙编著, 陈光喜, 丁宣浩, 古天龙编著, 陈光喜, 丁宣浩, 古天龙

Publisher

北京:电子工业出版社

Published

2008

Language

ZH

ISBN

9787121056543