| 本书是与《21世纪计算机专业大专系列教材》中《离散数学》（李大友主编，邵学才等编著，清华大学出版社2001年7月出版）配套的辅导教材。它不仅解答了《离散数学》中的全部习题，并精选了大量的和有具有典型意义的例题，以加深对基本概念和基本理论的认识和运用。 书中的例题分析和习题解答叙述详尽，层次分明，有很强的可读性。 |
| 第1章??集合 1.?1??内容提要 1.?1.?1??集合的基本概念 1.?1.?2??集合的基本运算 1.?1.?3??包含排斥原理 1.?2??例题分析 1.?3??习题与解答 第2章??二元关系 2.?1??内容提要 2.?1.?1??二元关系及其表示方法 2.?1.?2??关系的基本类型 2.?1.?3??等价关系与划分 2.?1.?4??相容关系与覆盖 2.?1.?5??序关系 2.?1.?6??复合关系与逆关系 2.?1.?7??关系的闭包运算 2.?2??例题分析 2.?3??习题与解答 第3章??函数 3.?1??内容提要 3.?1.?1??函数的定义与特殊函数 3.?1.?2??复合函数与逆函数 3.?2??例题分析 3.?3??习题与解答 第4章??代数结构 4.?1??内容提要 4.?1.?1??代数系统的基本概念 4.?1.?2??半群和独异点 4.?1.?3??群的定义与性质 4.?1.?4??子群与群中元素的阶数 4.?1.?5??陪集和拉格朗日定理 4.?1.?6??循环群 4.?1.?7??置换群 4.?1.?8??环和域 4.?2??例题分析 4.?3??习题与解答 第5章??图论 5.?1??内容提要 5.?1.?1??图的基本概念 5.?1.?2??图的连通性 5.?1.?3??赋权图的最短通路 5.?1.?4??欧拉图 5.?1.?5??哈密顿图 5.?1.?6??二部图 5.?1.?7??平面图 5.?1.?8??无向树 5.?1.?9??有向树 5.?2??例题分析 5.?3??习题与解答 第6章??命题逻辑 6.?1??内容提要 6.?1.?1??命题和联结词 6.?1.?2??真值表和逻辑等价 6.?1.?3??永真蕴含式 6.?1.?4??推理理论 6.?1.?5??范式 6.?2??例题分析 6.?3??习题与解答 第7章??谓词逻辑 7.?1??内容提要 7.?1.?1??谓词与量词 7.?1.?2??谓词公式与变元约束 7.?1.?3??谓词演算的等价式与永真蕴含式 7.?1.?4??前束范式 7.?1.?5??谓词逻辑的推理理论 7.?2??例题分析 7.?3??习题与解答 |
内容加载中，请稍后...
商品评论（0条）