第一章 基础逻辑学 1
1.1 逻辑学的基本概念 1
1.2 基本原理 2
1.3 命题与语句 3
1.4 论证方法 3
1.5 论证的分析 5
1.6 联结词 10
1.7 命题语言 14
1.8 命题变元与合式公式 21
1.9 公式的类型 26
1.10 等值公式及基本等值式 28
1.11 对偶式与重言蕴含式 33
1.12 主合取范式与主析取范式 36
习题一 44
第二章 基础组合数学 47
1.1 组合数学的基本概念 47
1.2 抽屉原理 52
1.3 *Ramsey定理 58
1.4 排列与组合 61
习题二 91
第三章 基础图论 93
3.1 图的基本概念 93
3.2 图的连通性 99
3.3 图的矩阵表示 103
3.4 有向图 107
3.5 权图中的最优路线 113
3.6 欧拉图与哈密顿图 116
3.7 哈密顿图 121
3.8 树 123
3.9 二叉树的遍历问题 127
3.10 权图中的最小生成树 129
3.11 最优二叉树(哈夫曼树) 131
习题三 133
第四章 基础运筹学 136
4.1 运筹学的研究对象 136
4.2 运筹学的特点 136
4.3 运筹学研究的主要步骤 137
4.4 运筹学的主要分支 139
4.5 单纯形法 144
4.6 排队论 149
4.7 决策论 157
4.8 存储论 162
4.9 对策论 167
习题四 170
参考答案 174
参考文献 181