搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
离散数学及其应用
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    7307051842
  • 作      者:
    魏长华, 王光明, 魏媛媛编著
  • 出 版 社 :
    武汉大学出版社
  • 出版日期:
    2006
收藏
内容介绍
    《离散数学及其应用》介绍离散数学的基本知识,包括数理逻辑、集合论、抽象代数、格和布尔代数,以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此,本书力求做到理论的叙述与例题演算的有机结合,而且书中大量的例题都来自于计算机科学各领域中的实际问题,能使读者有真实感,同时,读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材,同时也可供从事计算机应用开发的计算机专业工程技术人员参考。
展开
目录
第1章  数理逻辑<br>1.1命题演算<br>1.2重言式<br>1.3范式<br>1.4编译技术中波兰式与逆波兰式的表示<br>1.5命题演算的推理理论<br>1.6谓词演算<br>1.7谓词演算的推理理论<br>1.8谓词演算在人工智能中的应用<br>第2章  集合论<br>2.1集合论的基本概念<br>2.2集合的运算及文氏图<br>2.3关系和偏序<br>2.4函数<br>2.5递归函数<br>第3章  抽象代数<br>3.1代数系统及其运算<br>3.2同构和同态<br>3.3同余<br>3.4积代数<br>3.5半群和独异点<br>3.6群<br>3.7群码与纠错码<br>第4章  格和布尔代数<br>4.1格的概念<br>4.2格的性质<br>4.3格是一种代数系统<br>4.4子格、直积和同态<br>4.5几种特殊的格<br>4.6布尔代数<br>4.7布尔表达式和布尔函数<br>4.8布尔代数在逻辑电路设计中的应用<br>第5章  图论<br>5.1图的基本概念<br>5.2图的矩阵表示<br>5.3平面图<br>5.4树<br>5.5图论在计算机科学中的应用
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证