离散数学及其应用

出版时间：2006-6  出版社：武汉大学出版社  作者：魏长华、王光明、魏媛媛  页数：370  
Tag标签：无  

内容概要

　　《离散数学及其应用》介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。

书籍目录

第1章　数理逻辑1.1命题演算1.2重言式1.3范式1.4编译技术中波兰式与逆波兰式的表示1.5命题演算的推理理论1.6谓词演算1.7谓词演算的推理理论1.8谓词演算在人工智能中的应用第2章　集合论2.1集合论的基本概念2.2集合的运算及文氏图2.3关系和偏序2.4函数2.5递归函数第3章　抽象代数3.1代数系统及其运算3.2同构和同态3.3同余3.4积代数3.5半群和独异点3.6群3.7群码与纠错码第4章　格和布尔代数4.1格的概念4.2格的性质4.3格是一种代数系统4.4子格、直积和同态4.5几种特殊的格4.6布尔代数4.7布尔表达式和布尔函数4.8布尔代数在逻辑电路设计中的应用第5章　图论5.1图的基本概念5.2图的矩阵表示5.3平面图5.4树5.5图论在计算机科学中的应用