| 订阅 | 在线投稿
分享
 
 
 

离散数学(21世纪高等学校电子信息类专业规划教材)

来源:互联网网民
离散数学(21世纪高等学校电子信息类专业规划教材)  点此进入购买页
  点此进入购买页
  *本商品由商家提供,与王朝网络无关,有任何问题请与具体商家联系。
  参考价格: 查看价格
  分类: 图书,教材,研究生/本科/专科教材,工学,计算机,

作者: 陈敏,罗庆云 主编

出 版 社: 清华大学出版社

出版时间: 2009-5-1字数:版次: 1页数: 191印刷时间:开本: 16开印次:纸张:I S B N : 9787811235418包装: 平装内容简介

本书介绍了离散数学基础知识和应用方法,全书共分为4篇,第1篇为数理逻辑,内容包括命题逻辑和一阶逻辑;第2篇为集合论,内容包括集合的基本概念、二元关系、函数等;第3篇为代数系统,内容包括代数系统的基本概念、半群、群、环、域、格与布尔代数;第4篇为图论,内容包括图的基本概念、几类重要的图、最短路径、关键路径等。

本书在内容安排上,突出由浅入深、循序渐进、通俗易懂的特点,另外各章配备了大量的例题,其内容与计算机科学的理论与实践密切结合,便于自学。本书适合作为高等院校计算机及相关专业本科生的教材,也可供计算机专业的科技人员使用或参考。

目录

第1篇 数理逻辑

第1章 命题逻辑

1.1 命题与联结词

1.1.1 命题

1.1.2 联结词

1.2 命题公式及其分类

1.2.1 合式公式及层次

1.2.2 真值赋值及公式分类

1.3 真值表和真值函数

1.3.1 真值表

1.3.2 真值函数

1.4 等值式与等值演算

1.5 联结词完备集

1.6 范式

1.7 命题逻辑的推理理论

1.7.1 推理的形式结构

1.7.2 自然推理系统

习题

第2章 一阶逻辑

2.1 谓词与量词

2.2 一阶语言

2.2.1 一阶语言

2.2.2 解释和赋值

2.2.3 公式的分类

2.3 一阶逻辑的等值演算

2.3.1 等值演算

2.3.2 前束范式

2.4 一阶逻辑的推理理论

2.4.1 推理定律

2.4.2 推理规则

习题

第2篇 集合论

第3章 集合

3.1 集合的概念及其表示

3.2 集合的基本运算

3.3 有限集计数问题

习题

第4章 二元关系

4.1 有序对与笛卡儿积

4.2 二元关系及其表示

4.3 二元关系的性质

4.4 二元关系的运算

4.4.1 关系的基本运算

4.4.2 关系的闭包

4.4.3 闭包的复合

4.5 特殊关系及其性质

4.5.1 等价关系

4.5.2 相容关系

4.5.3 序关系

习题

第5章 函数

5.1 函数的基本概念

5.2 逆函数与复合函数

5.2.1 逆函数

5.2.2 复合函数

习题

第3篇 代数系统

第6章 代数结构

6.1 代数系统的基本概念

6.1.1 代数运算

6.1.2 代数运算的性质

6.1.3 代数系统

6.2 半群与群

6.2.1 半群与含幺半群

6.2.2 群的基本概念与性质

6.2.3 特殊群

6.3 环与域

6.3.1 环

6.3.2 域

习题

第7章 格与布尔代数

第4篇 图论

第8章 图的基本概念及表示

第9章 图的应用

第10章 树

参考文献

点此进入购买页查看价格点此进入购买页去商家看看
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
󰈣󰈤
 
 
 
>>返回首页<<
 
 
 热帖排行
 
更多商品
协整理论与波动模型:金融时间序列分析及应用(第二版)(普通高等教育“十一五”国家级规划教材)(数量经济学系列丛书)
网络体系结构模式(国外计算机科学经典教材)
微机原理与接口技术(第2版)(新世纪高职高专实用规划教材——计算机系列)
嵌入式操作系统及编程
大学计算机程序设计基础(C语言)(21世纪计算机科学与技术实践型教程)
高分子化学(清华大学高分子材料与工程系列教材)
离散数学基础及实用算法(高等学校教材·计算机科学与技术)
控制论——概念、方法与应用(全国高等学校自动化专业系列教材)
税收筹划:理论、方法与案例(21世纪高等学校财政与税收系列教材)
实用经济法(21世纪高职高专规划教材·财经管理系列)
 
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
©2005- 王朝网络 版权所有