随笔分类 - D-基础数学
摘要:函数的条件, x 只会对应一个值 ⼊射(单射) injective : 一一 对应, 不会出现 多对一 满射 surjective : ranf = y, 值域对满了 就是 双射 bijective : 上面2个同时满足即可 自反性:reflexive, 矩阵对角线全是1 传递性:transitiv
阅读全文
摘要:WEEK 9 : partal oreder and total order and compose function WEEK 8: Equivalence Relations and Functions WEEK 7 : inductive 推论 WEEK 6: 谓词和前面的联系 WEEK 5:
阅读全文
摘要:课时4:集合与关系(上)_哔哩哔哩_bilibili 一些栗子: 下面那个直接打开就行了 栗子:
阅读全文
摘要:来自: 课时2:命题逻辑(下)_哔哩哔哩_bilibili 特别注意:常元和变元 下面的栗子看看就行了: 注意:永真和永假式: (重言和矛盾) 栗子: 真值表的2个应用: 1 判断永真 2 判断式子是否等价: 重点看标红的公式: 栗子: 合取范式和析取范式: 过程: 消去箭头, 利用否等内移, 在利
阅读全文
摘要:集合里面的元素就看最外层即可 power of set 是这个集合所有的子集. p() 集合的危险性没有搞懂. 可看 运算规则 veen图 有序对" 二元关系 结论 只有 TF 为 F , 其他为T 优先级 命题看真假, ^ && , ||, p 和 -p 一真一假. 填符号交换顺序 记住: 命题不
阅读全文