【免费】复习(1)1资源-CSDN文库

需积分: 0 125 浏览量 2022-08-08 22:04:01 上传评论收藏 22KB DOCX 举报

资源详情

资源评论

资源推荐

一．数理逻辑

1. 命题逻辑

真值，原子命题，联结词（条件式的不同表述方法），真值表，复合命题，利用命题逻辑进

行命题符号化，主合取范式，主析取范式，等值公式，根据推理理论证明推理成立

2. 谓词逻辑

个体域，谓词，量词，真值，赋值，解释，利用谓词逻辑进行命题符号化，等值公式，蕴涵

式，根据推理理论证明推理成立

二．集合论

1. 集合理论

属于，包含，集合相等，P(A)，集族，集合运算，集合等式证明，容斥原理

2. 二元关系

定义在 A 上的二元关系，二元关系的运算（逆，合成，限制，象，幂运算及降幂），关系的

性质，关系图和关系矩阵，关系闭包，等价关系，等价关系与划分的对应关系，划分的加细，

偏序关系，偏序关系的特殊元素，A 上不同二元关系(或等价关系，偏序关系)的计数方法

3. 函数

全函数，单值与单根，单射，满射，双射，函数的象和原象，反函数，特征函数，恒等函数，

A 到 B 的函数的计数，

4. 基数

典型集合的基数，判断集合基数大小的方法，重要结论

三．代数结构

1. 非空集合 A 上的运算，运算的性质判断，代数系统的表示，同类型与同种，单位元，零

元，逆元，子代数，积代数的载体与运算，积代数的特异元素（单位元，零元，逆元

等），同态与同构，同余关系，商代数的载体与运算, 商代数的的特异元素（单位元，零

元，逆元等）

2. 半群与独异点的定义

3. 群的判定，常用的群，群中的运算性质，群的阶，元素的阶，交换群，子群的判定，元

素生成的子群，循环群的生成元和子群，陪集的计算，群的分解，正规子群，商群的载

体与运算，群的同态与同构，同态象，同态核，同态象中的单位元和逆元

4. 环的定义，含幺环，整环，无零因子环，域

5. 格的判定，分配格和模格的定义，布尔代数的定义和元素数

课后练习

离散数学（第 2 版）

Ch1 8, 14

Ch2 5(1), 6(1)

Ch3 14

Ch4 4, 5, 7, 9

Ch5 15

本内容试读结束，登录后可阅读更多

下载后可阅读完整内容，剩余1页未读，立即下载

评论0

内容反馈

嘻嘻哒的小兔子

粉丝: 27
资源: 321

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈

feedback-tip