离散数学

1 (p0-1): 目录
1 (p0-2): 第一章 集合、关系、近似表示法与应用
1 (p0-3): 1.1前言
1 (p0-4): 1.2单一集合的定义、可数性与复杂度符号
7 (p0-5): 1.3多集合的运算与容斥原理
13 (p0-6): 1.4关系、函数、部分有序集与哈斯图
19 (p0-7): 1.5近似表示法与复杂度成长率
23 (p0-8): 1.6应用
23 (p0-9): 1.6.1卡特兰数目的计算
27 (p0-10): 1.6.2城堡多项式的计算
28 (p0-11): 1.7结论
28 (p0-12): 1.8参考文献
29 (p0-13): 1.9作业与解答
36 (p0-14): 第二章 逻辑、布尔代数与应用
36 (p0-15): 2.1前言
36 (p0-16): 2.2命题逻辑
39 (p0-17): 2.3逻辑推论
42 (p0-18): 2.4谓词逻辑
44 (p0-19): 2.5范式的转换
46 (p0-20): 2.6应用
47 (p0-21): 2.6.1布尔代数与电路设计
51 (p0-22): 2.6.2有效的Davis和Putnam演绎程序
52 (p0-23): 2.7结论
53 (p0-24): 2.8参考文献
53 (p0-25): 2.9作业与解答
63 (p0-26): 第三章 递推方程、生成函数与算法分析
63 (p0-27): 3.1前言
63 (p0-28): 3.2递推方程与求解
71 (p0-29): 3.3生成函数
77 (p0-30): 3.4二叉树的计数
80 (p0-31): 3.56种排序算法的分析
90 (p0-32): 3.6.1快速傅利叶变换和多项式相乘
90 (p0-33): 3.6应用
93 (p0-34): 3.6.2两个计算几何的例子
96 (p0-35): 3.7结论
96 (p0-36): 3.8参考文献
98 (p0-37): 3.9作业与解答
105 (p0-38): 第四章 图论、图论算法与应用
105 (p0-39): 4.1前言
105 (p0-40): 4.2循环与中国邮递员问题
114 (p0-41): 4.3重要的图论性质与表示法
119 (p0-42): 4.4最短路径与最小生成树
129 (p0-43): 4.5最大流与最大匹配
135 (p0-44): 4.6应用
135 (p0-45): 4.6.1警卫配置问题
137 (p0-46): 4.6.2图的着色问题
140 (p0-47): 4.7结论
141 (p0-48): 4.8参考文献
142 (p0-49): 4.9作业与解答
151 (p0-50): 第五章 机器模型、NP完备与估计算法
151 (p0-51): 5.1前言
151 (p0-52): 5.2自动机与形式语言
161 (p0-53): 5.3图灵机
168 (p0-54): 5.4NP完备的证明
173 (p0-55): 5.5估计算法
176 (p0-56): 5.6应用
176 (p0-57): 5.6.1有限自动机的应用
178 (p0-58): 5.6.2停止问题是不确定的
179 (p0-59): 5.7结论
179 (p0-60): 5.8参考文献
180 (p0-61): 5.9作业与解答
187 (p0-62): 6.1前言
187 (p0-63): 6.2质数（Prime）的定义和性质（含并行计算的基本概念）
187 (p0-64): 第六章 数论、密码学与应用
195 (p0-65): 6.3欧基里得算法
200 (p0-66): 6.4中国余式定理（ChineseRemainderTheorem）
203 (p0-67): 6.5RSA密码
209 (p0-68): 6.6应用
209 (p0-69): 6.6.1字符串匹配的应用
211 (p0-70): 6.6.2Erd？s及其同事提出的一个与数列有关的定理
212 (p0-71): 6.7结论
212 (p0-72): 6.8参考文献
213 (p0-73): 6.9作业与解答
218 (p0-74): 7.2概率论
218 (p0-75): 第七章 概率、近世代数与应用
218 (p0-76): 7.1前言
226 (p0-77): 7.3消息理论
235 (p0-78): 7.4近世代数
245 (p0-79): 7.5编码论
253 (p0-80): 7.6应用
253 (p0-81): 7.6.1贝氏法则在图形识别上的应用
255 (p0-82): 7.6.2熵编码的应用
256 (p0-83): 7.7结论
256 (p0-84): 7.8参考文献
258 (p0-85): 7.9作业与解答…