| 开本：32开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787307051843 |
| 所属分类：图书>自然科学>数学>概率论与数理统计 |
全国三仓发货，物流便捷，下单秒杀，欢迎选购！重磅推荐
编辑推荐
本书介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。
内容简介
《离散数学及其应用》介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。
目 录
章 数理逻辑
命题演算
重言式
范式
编译技术中波兰式与逆波兰式的表示
命题演算的推理理论
谓词演算
谓词演算的推理理论
谓词演算在人工智能中的应用
第章 集合论
集合论的基本概念
集合的运算及文氏图
关系和偏序
函数章 数理逻辑
命题演算
重言式
范式
编译技术中波兰式与逆波兰式的表示
命题演算的推理理论
谓词演算
谓词演算的推理理论
谓词演算在人工智能中的应用
第章 集合论
集合论的基本概念
集合的运算及文氏图
关系和偏序
函数
递归函数
第章 抽象代数
代数系统及其运算
同构和同态
同余
积代数
半群和独异点
群
群码与纠错码
第章 格和布尔代数
格的概念
格的性质
格是一种代数系统
子格、直积和同态
几种特殊的格
布尔代数
布尔表达式和布尔函数
布尔代数在逻辑电路设计中的应用
第章 图论
图的基本概念
图的矩阵表示
平面图
树
图论在计算机科学中的应用
显示全部信息
商品详情
书名离散数学及其应用
作者魏长华 等
出版社：武汉大学出版社
出版日期
字数
页码
版次
装帧：平装
开本开
商品重量：
编辑推荐
本书介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。
内容简介
《离散数学及其应用》介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。
目 录
章 数理逻辑
命题演算
重言式
范式
编译技术中波兰式与逆波兰式的表示
命题演算的推理理论
谓词演算
谓词演算的推理理论
谓词演算在人工智能中的应用
第章 集合论
集合论的基本概念
集合的运算及文氏图
关系和偏序
函数章 数理逻辑
命题演算
重言式
范式
编译技术中波兰式与逆波兰式的表示
命题演算的推理理论
谓词演算
谓词演算的推理理论
谓词演算在人工智能中的应用
第章 集合论
集合论的基本概念
集合的运算及文氏图
关系和偏序
函数
递归函数
第章 抽象代数
代数系统及其运算
同构和同态
同余
积代数
半群和独异点
群
群码与纠错码
第章 格和布尔代数
格的概念
格的性质
格是一种代数系统
子格、直积和同态
几种特殊的格
布尔代数
布尔表达式和布尔函数
布尔代数在逻辑电路设计中的应用
第章 图论
图的基本概念
图的矩阵表示
平面图
树
图论在计算机科学中的应用
显示全部信息
商品详情
书名离散数学及其应用
作者魏长华 等
出版社：武汉大学出版社
出版日期
字数
页码
版次
装帧：平装
开本开
商品重量：