离散数学 |
|
2020-06-21 00:00:00 |
|
离散数学 内容简介
本书由四篇组成。**篇数理逻辑,内容有:命题逻辑,一阶逻辑。第二篇集合论,内容有:集合的基本概念和运算,关系和函数。第三篇代数系统,内容有:代数系统概述,几种典型的代数系统。第四篇图论,内容有:图的基本概念,树,几类特殊图。
本书包括了离散数学各部分的基本内容,及其在计算机科学及实际问题中的某些应用。本书概念清晰,叙述严谨精炼,语言通俗易懂,例题讲解详细,并有大量习题,便于读者自学。
离散数学 目录
教学建议
**篇 数理逻辑
第1章 命题逻辑
1.1 命题与联结词
1.2 命题公式与赋值
1.3 等值演算
1.4 联结词的全功能集
1.5 范式
1.6 推理理论
习题
第2章 一阶逻辑
2.1 一阶逻辑的基本概念
2.2 一阶语言及其解释
2.3 等值演算
2.4 前束范式
|
|
http://book.00-edu.com/tushu/sh1/202007/2621373.html |