| 出版说明 前言 第1章数理逻辑基础 1.1命题 1.2命题联结词 1.3命题公式 1.4永真式和永假式 1.5公式的等价与蕴涵 1.6范式 1.7命题演算的推理规则 1.8谓词与量词 1.9谓词逻辑公式 1.10谓词逻辑的永真公式和公式的等价 1.11本章小结 1.12习题 第2章集合与关系 2.1集合与集合运算 2.2关系 2.3等价关系 2.4偏序关系 2.5映射 2.6本章小结 2.7习题 第3章图论 3.1图的基本概念 3.2树和生成树 3.3欧拉图与哈密顿图 3.4路径 3.5平面图 3.6本章小结 3.7习题 第4章代数系统 4.1代数系统的基本概念 4.2同态与同构 4.3同余与商代数 4.4群的基本概念 4.5循环群与置换群 4.6环和域 4.7格与布尔代数 4.8本章小结 4.9习题 |
内容加载中，请稍后...
商品评论（0条）