离散数学

出版时间：2004-1  出版社：机械工业出版社  作者：傅彦等  页数：343  字数：549000  
Tag标签：无  

内容概要

本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用，并给出了大量的例子和应用实例。
    本书可作为工科院校有关专业学生的必修课教材，也适用于计算机专业的科技人员及学生使用。

书籍目录

出版说明前言第1篇 预备知识  第1章 集合基础    1.1  集合与子集    1.2  集合的运算    1.3  无限集的基本概念    1.4  有限集合的计数    1.5  习题  第2章 序列（有序组）    2.1  序列与子序列    2.2  序列的运算    2.3  习题  第3章 整数中的除法    3.1  整除    3.2  最大公因子    3.3  最小公部数    3.4  习题  第4章 矩阵的基础知识    4.1  矩阵的定义    4.2  矩阵的运算及性质    4.3  布尔矩阵及运算    4.4  习题第2篇 数理逻辑  第5章 命题逻辑    5.1  命题与命题联结词    5.2  命题公式、解释与真值表    5.3  联结词的完备集    5.4  范式    5.5  命题逻辑的推理论    5.6  习题  第6章 谓词逻辑    6.1  谓词逻辑中的基本概念与表示    6.2  谓词公式与解释    6.3  范式    6.4  谓词演算的演绎与推理    6.5  习题  第7章 数理逻辑在计算机科学中的应用    7.1  命题逻辑在计算机科学中的应用    7.2  谓词逻辑在计算机科学中的应用第3篇 二元关系  第8章 二元关系  第9章 特殊关系  第10章 函数  第11章 关系在计算机科学中的应用第4篇 图论  第12章 图  第13章 特殊图  第14章 图论在计算机科学中的应用第5篇 代数系统与布尔代数  第15章 代数系统  第16章 群论  第17章 环与域  第18章 格与布尔代数  第19章 代数系统的应用

用户评论 (总计1条)

•   收到货时间太慢！