离散数学

内容简介

[

　　本书由四篇组成。**篇数理逻辑，内容有：命题逻辑，一阶逻辑。第二篇集合论，内容有：集合的基本概念和运算，关系和函数。第三篇代数系统，内容有：代数系统概述，几种典型的代数系统。第四篇图论，内容有：图的基本概念，树，几类特殊图。

　　本书包括了离散数学各部分的基本内容，及其在计算机科学及实际问题中的某些应用。本书概念清晰，叙述严谨精炼，语言通俗易懂，例题讲解详细，并有大量习题，便于读者自学。

]

目录

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

封面

书名:离散数学

作者:檀凤琴

页数:178

定价:¥26.0

出版社:机械工业出版社

出版日期:2012-03-01

ISBN:9787111367499

PDF电子书大小:113MB 高清扫描完整版

---

---