模运算
摘要：A * B) mod C = (A mod C * B mod C) mod C 乘法示例： 让 A=4, B=7, C=6 让我们验证：(A * B) mod C = (A mod C * B mod C) mod C LHS= 等式的左边 LHS= 等式的右边 LHS = (A * B) mod
阅读全文
posted @
2022-11-26 19:36
在野武将
阅读(88)
推荐(0) 编辑
代数系统(Ⅰ）
摘要：代数系统的定义；
么元、零元、逆元;
子代数；
同态；
同态图解、同构；
自同态、同态像与陪域、前域的关系；
同余关系；
商代数，积代数；
阅读全文
posted @
2022-11-25 18:51
在野武将
阅读(172)
推荐(0) 编辑
无限集合
摘要：有限集合与无限集合；
可数集合和不可数集合的证明；
基数的比较；
举例、无限集合的特性（使用了选择公理）；
幂集；
康托定理及其证明；
连续统假设和康拓悖论；
基数算数；
证明：自然数集合是无限的；
证明：有限集合的每一个子集都是有限的；
阅读全文
posted @
2022-11-19 22:52
在野武将
阅读(482)
推荐(0) 编辑
二元关系
摘要：3.1 基本概念
3.2 关系的合成
3.3 关系上的闭包运算
3.4 次序关系
3.5 等价关系和划分
阅读全文
posted @
2022-11-07 22:09
在野武将
阅读(229)
推荐(0) 编辑
集合
摘要：2.1、集合论的基本概念
2.2、集合上的运算
2.3、归纳法与自然数
2.4、语言上的运算
2.5、集合的笛卡尔乘积
阅读全文
posted @
2022-10-25 22:40
在野武将
阅读(61)
推荐(0) 编辑
数理逻辑-谓词逻辑
摘要：1.谓词和量词 ：
谓词的概念与表示
命题函数与量词
变元的约束
2.谓词演算的永真公式 ：
US等四条规则；
谓词演算的等价与蕴含式
3.谓词演算的推理规则 ：
谓词演算的推理理论
推理示例及顺序
cp规则的使用
联结词的扩充与归约
阅读全文
posted @
2022-10-23 22:20
在野武将
阅读(484)
推荐(0) 编辑
数理逻辑-命题逻辑及形式系统
摘要：运算优先级与析取 合取符号·；
逻辑等价；
命题公式分类；
逻辑等价式与逻辑蕴含式；
一些重要的逻辑等价式；
等值演算；
范式；
主析取范式 主合取范式、；
推理规则和举例；
阅读全文
posted @
2022-10-19 22:24
在野武将
阅读(226)
推荐(0) 编辑
数理逻辑-基本概念
摘要：数理逻辑定义；
排中律；
原子命题与复合命题；
逻辑连接词；
命题公式；
阅读全文
posted @
2022-10-14 17:53
在野武将
阅读(377)
推荐(0) 编辑
