离散数学 内容简介

　　本书由四篇组成。**篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的基本概念，树，几类特殊图。 　　本书包括了离散数学各部分的基本内容，及其在计算机科学及实际问题中的某些应用。本书概念清晰，叙述严谨精炼，语言通俗易懂，例题讲解详细，并有大量习题，便于读者自学。

离散数学 目录

教学建议
**篇　数理逻辑
第1章　命题逻辑
　1.1　命题与联结词
　1.2　命题公式与赋值
　1.3　等值演算
　1.4　联结词的全功能集
　1.5　范式
　1.6　推理理论
　习题
第2章　一阶逻辑
　2.1　一阶逻辑的基本概念
　2.2　一阶语言及其解释
　2.3　等值演算
　2.4　前束范式

自然科学 数学 代数数论组合理论

在线阅读