离散数学

出版时间：2006-12-01  出版社：兵器工业出版社  作者：刘永平，刘玉胜 著  页数：395  

内容概要

　  离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，是计算机专业和其他一些工程专业的数学基础课程。《离散数学》包含了数理逻辑、集合论、代数结构、图论等主要内容。　  《离散数学》在编写的过程中力求做到突出严谨、简明、系统三个特点，尤其对基础理论知识介绍得比较详细。　  《离散数学》不仅可以供高职高专计算机专业和其他工程类专业学生使用，也可以作为数学专业学生的教材。

书籍目录

第一编 数理逻辑第1章 命题逻辑的基本概念1.1 命题与命题联结词1.2 命题公式及其赋值习题一第2章 命题逻辑等值演算2.1 等值式2.2 命题公式的标准形——范式2.3 联结词的完备集习题二第3章 命题逻辑的推理理论3.1 推理的形式结构3.2 自然推理系统P习题三第4章 一阶逻辑基本概念4.1 一阶逻辑的符号化4.2 一阶逻辑公式及解释习题四第5章 一阶逻辑等值演算与推理5.1 一阶逻辑等值式与置换规则5.2 一阶逻辑公式的标准形——前束范式5.3 一阶逻辑推理理论习题五第二编 集合论第6章 集合代数6.1 集合的基本概念6.2 集合的运算6.3 集合恒等式习题六第7章 二元关系7.1 有序对与笛卡尔积7.2 二元关系7.3 关系的运算7.4 关系的性质7.5 关系的闭包7.6 等价关系与划分7.7 偏序关系习题七第8章 函数8.1 函数的定义与性质8.2 函数的复合与反函数习题八第9章 集合基数9.1 集合的等势与优势9.2 集合的基数习题九第三编 代数结构第10章 代数结构10.1 二元运算及其性质10.2 代数系统……第11章 半群与群第12章 环与域 第13章 格与布尔代数第四编 图论第14章 图的基本概念第15章 欧拉图与哈密顿图第16章 树第17章 平面图及图的着色第18章 支配集、覆盖集、独立集与匹配部分习题参考答案参考文献