离散数学
马叔良 编
电子工业
出版时间：
2004-1
出版社：
电子工业
作者：
马叔良 编
页数：
194
字数：
330000
内容概要
离散数学和微积分不同，离散数学是以离散对象为研究对象，是计算机专业和其他一些工程专业的数学基础课程。本教材包含了数理逻辑、集合论、数函数和递推关系、图论、代数系统和布尔代数等主要内容。
本教材注重理论的系统性和准确性，并有很多例题和习题。特别重视理论难点的诠释,叙述通俗易读。
本书不仅适合作为供高职高专计算机专业或其他工程类专业学生学习，也可以作为对离散数学有兴趣的读者自学使用。
书籍目录
第一章 绪论 1.1 离散数学的研究对象 1.2 离散数学的主要内容 1.3 学习离散数学的方法第二章 数理逻辑 2.1 命题 2.2 命题联结词 2.3 命题的合式公式 2.4 真值表、永真式和永假式 2.5 公式的等价和蕴含 2.6 公式的主范式 2.7 命题演算的推理理论 2.8 命题逻辑和二值逻辑器件 2.9 一阶谓词逻辑 2.10 命题函数和个体变量及量词 2.11 谓词公式 2.12 谓词演算的推理理论第三章 集合和关系第四章 数函数和递推关系第五章 图论第六章 代数系统第七章 格与布尔代数参考文献
图书封面
广告
下载页面