| 词条 | 离散数学及应用 |
| 释义 | 1图书信息书 名: 离散数学及应用 作 者：郭键 出版社： 中国电力出版社 出版时间： 2010-7-1 ISBN: 9787512303539 开本： 16开 定价: 32.00元 内容简介本书共分为5篇：集合论、图论、数理逻辑、代数结构及综合应用。集合论部分介绍了集合、关系、函数等；图论部分介绍了图的基本概念及特殊图；数理逻辑包括命题逻辑和谓词逻辑；代数系统介绍了群、环、域等；最后详细介绍了这四部分在计算机中的实际应用。本书在编写过程中，尽量将离散数学的各个部分有机地结合起来，力求条理清楚、深入浅出，通过该课程的学习，可使读者掌握必备的离散数学知识，并提高其利用离散数学知识分析和解决实际问题的能力。 本书可作为高等院校计算机科学技术等相关专业的本科生和研究生的教学用书，也可作为计算机工程技术和研究人员学习离散数学的参考用书。 图书目录前言 第1篇 集合论 第1章 集合 第2章 关系 第3章 函数 第2篇 图论 第4章 图的基本概念 第5章 特殊图 第6章 无向树 第7章 有向树 第3篇 数理逻辑 第8章 命题逻辑 第9章 谓词逻辑 第4篇 代数结构 第10章 群 第11章 环与理想 第12章 域 第5篇 综合应用 第13章 数理逻辑的应用实例 第14章 关系的应用实例 第15章 图论的应用实例 第16章 有限自动机与语言 参考文献 2图书信息作者：温武，钟沃坚 编著ISBN：10位［7562309531］ 13位［9787562309536］ 出版社：华南理工大学出版社 出版日期：2005-12-1 定价：￥20.00 元 内容提要本书是按国家教委离散教学教学大纲的精神，并根据笔者多年来从事离散数学课程的教学实践经验以及计算机科研工作经验编写而成。本书内容包括数理逻辑、集合论、图论、代数结构四个基本部分以及应用部分。应用部分主要介绍用计算机化简逻辑函数、形式语言与自动机这两个专题。 本书可作为计算机专业的离散教学教材，也可作为有关专业的教学用书，并可供有关专业的工程技术人员及具有高中以上文化水平的读者参考。 目录第一篇 数理逻辑 第一章 命题演算 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 同构与同态 第八章 半群与群 …… 第九章 环与域 第十章 格与布尔代数 第五篇 离散数学在计算机科学技术中的应用 第十一章 用计算机化简逻辑函数 第十二章 形式语言与自动机 习题答案与提示 符号表 参考文献 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。