摘要： 1.1 命题逻辑 1.1.1 引言 1.1.2 命题 非 ┐ ；合取(与)∧ ；析取(或∨ 异或⊕) 1.1.3 条件语句 p->q的常用术语： "if p, then q" "如果p，那么q" "p implies q" "p蕴含q" "if p, q " "如果p，则q" "p only if 阅读全文

摘要： 第1章 基础：逻辑和证明 第2章 基本结构：集合、函数、数列与求和 第3章 基础：算法、整数和矩阵 第4章 归纳与递归 第5章 计数 第6章 离散概率 第7章 高级计数技术 第8章 关系 第9章 图 第10章 树 第11章 布尔代数 第12章 计算模型 阅读全文