离散数学及应用
2005-12
温武、 钟沃坚 华南理工大学出版社 (2005-12出版)
温武,钟沃坚 编
451
无
《高等学校理工科教材:离散数学及应用》是按国家教委离散教学教学大纲的精神,并根据笔者多年来从事离散数学课程的教学实践经验以及计算机科研工作经验编写而成。《高等学校理工科教材:离散数学及应用》内容包括数理逻辑、集合论、图论、代数结构四个基本部分以及应用部分。应用部分主要介绍用计算机化简逻辑函数、形式语言与自动机这两个专题。 《高等学校理工科教材:离散数学及应用》可作为计算机专业的离散教学教材,也可作为有关专业的教学用书,并可供有关专业的工程技术人员及具有高中以上文化水平的读者参考。
第一篇数理逻辑第一章 命题演算1.1 命题及联结词1.2 命题变元与命题公式1.3 命题演算的关系式1.4 其他联结词1.5 范式1.6 命题演算的推理第二章 谓词演算2.1 谓词演算的基本概念2.2 谓词演算的关系式2.3 前束范式2.4 谓词演算的推理习题一学习提要一第二篇集合论第三章 集合3.1 集合的基本概念3.2 集合的运算及基本公式3.3 幂集3.4 包含排斥原理3.5 集合的直积(笛卡儿乘积)第四章 关系4.1 关系及其运算4.2 关系的有关性质4.3 关系的闭包运算4.4 等价关系和相容关系4.5 偏序关系第五章 映射与无限集5.1 映射5.2 无限集习题一学习提要二第三篇图论第六章 图论6.1 图的基本概念6.2 树6.3 图的矩阵表示6.4 平面图6.5 二分图与匹配习题三学习提要三第四篇代数结构第七章 代数结构的基本知识7.1 代数系统的基本概念7.2 同构与同态第八章 半群与群8.1 半群、循环半群与幺半群8.2 群8.3 置换群与对称群8.4 循环群8.5 陪集与拉格朗日定理第九章 环与域9.1 环与幺环9.2 整环与除环9.3 域第十章 格与布尔代数10.1 格与代数系统10.2 布尔格与布尔代数10.3 布尔代数的另一理论体系10.4 布尔表达式与布尔函数习题四学习提要四第五篇离散数学在计算机科学技术中的应用第十一章 用计算机化简逻辑函数11.1 自动化简逻辑函数的算法11.2 用对合法寻找逻辑函数基本项11.3 用覆盖法寻找必需项11.4 用(准)必需项选拔选取基本项11.5 逻辑函数化简实例第十二章 形式语言与自动机12.1 语言的概念及运算12.2 文法及语言12.3 有限自动机12.4 下推自动机12.5 线性有界自动机12.6 图灵机习题五学习提要五习题答案与提示符号表参考文献
无
还好,不过书包给人偷了,书也被偷了