离散上PPT

0_3

已于 2022-06-22 16:34:55 修改

阅读量186

点赞数 1

分类专栏：专业文章标签：离散

于 2020-11-30 17:13:20 首次发布

本文链接：https://blog.csdn.net/han29_/article/details/110390582

版权

专业专栏收录该内容

11 篇文章 3 订阅

订阅专栏

✨第一编数理逻辑

题目 https://wenku.baidu.com/view/c05e8f4483d049649a665815.html![在这里插入图片描述](https://img-blog.csdnimg.cn/20210114212442330.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70

在这里插入图片描述

查找🎈

Klein四元群 ----17.1群的性质

数理逻辑

在这里插入图片描述

1 命题逻辑基本概念

在这里插入图片描述

联结词

在这里插入图片描述

48

课后作业

在这里插入图片描述

1.2 集合概念及集合之间的关系

在这里插入图片描述

👍幂集

在这里插入图片描述

集族

在这里插入图片描述

3 命题逻辑推理理论

在这里插入图片描述

二元关系

2.1-2.2 关系的基本概念和运算

有序对

在这里插入图片描述

👍卡氏积

在这里插入图片描述

证明

在这里插入图片描述

二元关系

在这里插入图片描述

👍二元关系的记号

在这里插入图片描述

👍A上的二元关系

在这里插入图片描述

运算顺序

在这里插入图片描述

例题

在这里插入图片描述

定理

在这里插入图片描述

证明

在这里插入图片描述

关系运算的性质

在这里插入图片描述

👍 常用表达式

在这里插入图片描述

🍕课后习题

在这里插入图片描述

7

2.3-2.4 关系的表示和性质

在这里插入图片描述

关系矩阵

在这里插入图片描述

关系图

在这里插入图片描述

关系性质

在这里插入图片描述

自反性

在这里插入图片描述

对称与反对称

在这里插入图片描述

传递性

在这里插入图片描述

关系性质的判别方法

在这里插入图片描述

<b,a>-<a,b>==<b,b>

证明

在这里插入图片描述

课后习题

在这里插入图片描述

2.5-2.6 关系幂运算和闭包运算

在这里插入图片描述

关系的幂运算

在这里插入图片描述

关系的闭包

闭包

在这里插入图片描述

自反闭包

在这里插入图片描述

定理

在这里插入图片描述

传递闭包的定理

在这里插入图片描述

例子

在这里插入图片描述

定理

在这里插入图片描述

小结

在这里插入图片描述

定理

在这里插入图片描述

课后习题

在这里插入图片描述

2.7-2.8 等价关系和序关系

在这里插入图片描述

等价关系

在这里插入图片描述

等价类

在这里插入图片描述

同余关系

在这里插入图片描述
两个整数a，b，若他们除于整数n所得余数相等，则称x与。。。

商集

在这里插入图片描述

课本p47

划分

在这里插入图片描述

stirling数

在这里插入图片描述

划分的加细

在这里插入图片描述

课后作业

在这里插入图片描述

序关系

在这里插入图片描述

偏序集

在这里插入图片描述

全序关系

在这里插入图片描述

拟序关系

在这里插入图片描述

34

哈斯图

在这里插入图片描述

40

函数

在这里插入图片描述

函数

在这里插入图片描述

偏函数

在这里插入图片描述

全函数

![在这里插入图片描述](https://img-blog.csdnimg.cn/2020121310462528.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70

真偏函数

在这里插入图片描述

三者关系

在这里插入图片描述

全函数的性质

在这里插入图片描述
单射(injection):每一个x都有唯一的y与之对应

满射(surjection):每一个y都必有至少一个x与之对应

双射(又叫一一对应,bijection): 同时满足单射与满射，也就是常见的函数映射

那么通俗的说，单射就是只能一对一，不能多对一，满射就是不论一对一，还是多对一，在映射f:X→Y中，Y中任一元素y都是X中某元素的像，也就是Y中所有元素在X中都能找到原像，至于找到的只有一个原像,那就是双射，但有的可以找到一个以上的那就不是双射，即双射就是既是单射又是满射。

在这里插入图片描述

计数问题

在这里插入图片描述

像，原像

在这里插入图片描述

定理

在这里插入图片描述

特殊函数

在这里插入图片描述

函数运算

在这里插入图片描述

反函数

在这里插入图片描述
35

集合论

自然数

后继：

![在这里插入图片描述](https://img-blog.csdnimg.cn/20201130160504538.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70

自然数的定义

在这里插入图片描述

归纳集

在这里插入图片描述

基数（势）

4 & 5自然数和基数

自然数

ppt3

在这里插入图片描述
A中元素的个数

课本p85

等势

在这里插入图片描述

基数

在这里插入图片描述

✨ 第三编代数结构

在这里插入图片描述

15.1

在这里插入图片描述

在这里插入图片描述

对称差：a+b=（a-b）∪（b-a）

二元运算

在这里插入图片描述

二元运算的特异运算符

在这里插入图片描述

实例

在这里插入图片描述

消去律

在这里插入图片描述

运算表判别算律的方法

在这里插入图片描述

15.2代数系统

在这里插入图片描述

定义

代数系统是封闭的

![在这里插入图片描述](https://img-blog.csdnimg.cn/202012071639257.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70

子代数

在这里插入图片描述

p229

积代数

在这里插入图片描述

课后作业

在这里插入图片描述

15.3 代数系统的同态与同构

单射解释：https://www.cnblogs.com/wanghetao/archive/2012/03/16/2400619.html

同态映射

在这里插入图片描述

分类

p231
在这里插入图片描述
自同态的基础下又是双射称自同构
15；25
https://www.bilibili.com/video/BV1d7411v7zu?p=45

15.4 同余关系与商代数

在这里插入图片描述

商代数

在这里插入图片描述

同态，同余关系与商代数的联系

在这里插入图片描述

24

16 半群与独异点

在这里插入图片描述

性质

在这里插入图片描述

例子

在这里插入图片描述

子半群，子独立点

在这里插入图片描述
（直积）笛卡尔乘积是指在数学中，两个集合X和Y的笛卡尔积（Cartesian product），又称直积，表示为X × Y，第一个对象是X的成员而第二个对象是Y的所有可能有序对的其中一个成员

直积，商代数，同态

在这里插入图片描述

例子

在这里插入图片描述

课后习题

17.1 群的定义与性质

在这里插入图片描述

klein四元群

在这里插入图片描述

群的术语

在这里插入图片描述

群的性质

在这里插入图片描述

课后作业

在这里插入图片描述

17.2-3 子群与循环群

在这里插入图片描述

判定定理

在这里插入图片描述

【理解】定理2：H是群，群中任意的元素都有逆元，故 b逆属于H

子群格

在这里插入图片描述

循环群

在这里插入图片描述

（）和【】

在这里插入图片描述

生成元

在这里插入图片描述

子群

在这里插入图片描述

无限

在这里插入图片描述

🎠P51 循环群

在这里插入图片描述
L也可以作为生成元

17.5 群的分解

在这里插入图片描述

lagrange定理

在这里插入图片描述

共轭关系与共轭类

在这里插入图片描述

课后题

32
在这里插入图片描述

🎠P50 子群的陪集及拉格朗日定理

在这里插入图片描述

17.6-7 正规子群与商群，群的同态和同构

正规子群

在这里插入图片描述

判定定理

在这里插入图片描述

商群

![在这里插入图片描述](https://img-blog.csdnimg.cn/20201229223945176.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70

同态和同构

在这里插入图片描述

例题

在这里插入图片描述

🎠P53 环与域

在这里插入图片描述

31:30

18 环与域

在这里插入图片描述

环

在这里插入图片描述

零因子

在这里插入图片描述

特殊的环

在这里插入图片描述

15

域

在这里插入图片描述

子环

在这里插入图片描述

理想

在这里插入图片描述
24

课后习题

在这里插入图片描述

19.1-2 格的定义、性质、子格、格同态和直积

在这里插入图片描述

格

在这里插入图片描述

0_3

关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
离散上PPT

集合论自然数后继：![在这里插入图片描述](https://img-blog.csdnimg.cn/20201130160504538.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2hhbjI5Xw==,size_16,color_FFFFFF,t_70自然数的定义归纳集基数等势基数....
复制链接

扫一扫