离散数学 大中专理科科技综合 张明尧 编
none
¥
15.75
5.8折
¥
27
全新
仅1件
作者张明尧 编
出版社机械工业出版社
ISBN9787111241751
出版时间2010-06
装帧平装
开本16
定价27元
货号xhwx_10425396
上书时间2024-12-10
商品详情
- 品相描述:全新
-
正版特价新书
- 商品描述
-
主编:
本书主要分为4个部分:数理逻辑基础部分主要讲述命题逻辑、谓词逻辑的基础理论和它们在推理理论中的简单应用;集论基础部分主要讲述集合与关系、映、函数与集合的基数等基本内容;代数系统基础部分主要讲述二元运算的主要质及代数系统中若干重要的元素,并介绍广群、半群、含幺半群、群及环和域,以及格与boole代数的基础知识;图论基础部分主要讲述图和树的基础知识及其简单应用。每章后附有数量的题,其中有一些是历年试的试题,可供读者学时选做。末尾另有附录,以供青年教师和感兴趣的学者选读。
目录:
前言
部分 数理逻辑基础
章 命题逻辑初步
1.1 命题及其表示
1.2 命题联结词
1.3 命题演算的合式公式、命题公式的真值表以及命题公式的翻译
1.4 重言式和盾式、等价的命题公式、命题公式的逻辑蕴含式
1.5 其他联结词
1.6 对偶式与范式
1.7 命题演算的推理理论
题
第2章 谓词逻辑初步
2.1 谓词的基本概念
2.2 量词的基本概念
2.3 命题函数与谓词演算的合式公式
2.4 约束变量与自由变量、n元谓词的一般定义、谓词演算的等价式
2.5 谓词演算的蕴含式、量词与否定联结词之间的质
2.6 量词的质(续)
2.7 谓词公式的前束范式
2.8 谓词演算的推理理论
题
第2部分 集合论基础
第3章 集合与关系
3.1 集合的基本概念
3.2 子集和幂集
3.3 集合的运算
3.4 抽屉和容斥
3.5 笛卡儿积
3.6 关系及其表示
3.7 关系的质
3.8 关系的运算、复合关系和逆关系
3.9 关系的闭包
3.10 集合的覆盖与分划
3.11 等价关系
3.12 *相容关系
3.13 序关系
题
第4章 函数
4.1 函数的基本概念
4.2 复合函数与反函数
4.3 集合的基数
4.4 可列集与不可列集
4.5 连续统的势
4.6 势的比较
题
第3部分 代数系统基础
第5章 代数系统基础知识
5.1 代数运算及其质
5.2 几个重要的代数系统——广群、半群、独异点
5.3 群的概念和例子
5.4 abel群和循环群
5.5 群的简单质、同态和同构
5.6 群的陪集分解、lagrange定理
5.7 变换群和对称群
5.8 环与域的基本概念
5.9 环的同态和同构
题
第6章 格与boole代数
6.1 格的定义与基本质
6.2 分配格与dedekind格
6.3 有补格
6.4 boole格与boole代数
6.5 boole表达式
题
第4部分 图论基础
第7章 图论
7.1 图论中的基本概念
7.2 通路与回路,补图和子图
7.3 图的连通
7.4 图的矩阵表示
7.5 euler图
7.6 hamilton图
7.7 面图
7.8 连通面图的着
7.9 无向树和带权无向图
7.10 根树
7.11 根树的应用举例
题
参文献
内容简介:
本书是上海市精品课程“离散数学”的教材。内容主要分为如下几个部分:部分,数理逻辑基础;第2部分,集合论基础;第3部分,代数系统基础;第4部分,图论基础。数理逻辑基础部分主要讲述命题逻辑、谓词逻辑的基础理论和它们在推理理论中的简单应用;集论基础部分主要讲述集合与关系、映、函数与集合的基数等基本内容;代数系统基础部分主要讲述二元运算的主要质及代数系统中若干重要的元素,并介绍广群、半群、含幺半群、群及环和域,以及格与boole代数的基础知识;图论基础部分主要讲述图和树的基础知识及其简单应用。每章后附有数量的题,其中有一些是历年试的试题,可供读者学时选做。建议读者能独立完成这些题中的大部分,这对掌握这门课程的主要内容是至关重要的。本书的电子教案和题的详细解答将费提供给任课教师使用(索取邮箱:wbj@.machineinfo.gov.)。
本书可供计算机专业、应用数学专业以及其他相关专业的本科生作教材使用,也可供有关专业的教师和用作或者学参书,并适合对本书内容感兴趣的数学爱好者自学使用。
— 没有更多了 —
正版特价新书
以下为对购买帮助不大的评价