2025年11月30日
05.集合代数
摘要： ! 阅读全文
posted @ 2025-11-30 23:12 ~shy~ 阅读(1) 评论(0) 推荐(0)
04.谓词逻辑
摘要： ![a73770a5b05ce595ade31d4a9bc2a890](https://img2024.cnblogs.com/blog/3711200/202511/3711200-20251130135808900-51181094.jpg) ![ed9fa79351ec99b22c857ba5595b43d1](https://img2024.cnblogs.com/blog/3711200 阅读全文
posted @ 2025-11-30 13:59 ~shy~ 阅读(4) 评论(0) 推荐(0)
2025年11月17日
03.命题逻辑推理理论
摘要： ![63a6205061e44a1915d91c9a23368a27](https://img2024.cnblogs.com/blog/3711200/202511/3711200-20251117122544027-489124401.jpg) ![29ce9e65a080ba67c2015a8b09742141](https://img2024.cnblogs.com/blog/371120 阅读全文
posted @ 2025-11-17 12:26 ~shy~ 阅读(5) 评论(0) 推荐(0)
2.命题逻辑等值演算
摘要： 一、公式类型： 1.重言式 2.矛盾式 3.可满足式 二、判断公式类型的方法： 1.真值表法 2.等值演算法（核心在于） 用等值演算法证明两个式子是等值的 析取范式、合取范式 可见：一个公式的析取范式与合取范式是不唯一的 主合取范式 主析取范式 求主合取范式、主析取范式 一、真值表法 二、等值演算法 阅读全文
posted @ 2025-11-17 12:19 ~shy~ 阅读(8) 评论(0) 推荐(0)
2025年11月15日
01命题逻辑的基本概念
摘要： 命题：能明确判断真假（要么真、要么假，二者必居其一且仅居其一）的陈述句，就是命题。 其核心是：命题的真值是唯一的，可能无法准确判断是否为真还是为假，但一定是其中一个 反例： 总结：^都为真才真、 v都为假才为假 、 -> 是 1->0才为假 优先级： 将下列命题符号化： 兼容与不兼容： p->q:p 阅读全文
posted @ 2025-11-15 22:52 ~shy~ 阅读(6) 评论(0) 推荐(0)
2025年11月7日
Java基础
摘要： 一、Hello World代码演示 注意固定格式：public static void main(String[] args){} 二、理解不同类型的Set（集合） 把Set想象成“存放东西的容器”，里面的东西不能重复（比如不能有两个一模一样的苹果） 四种不同的Set： 1.HashSet —— 【 阅读全文
posted @ 2025-11-07 20:40 ~shy~ 阅读(15) 评论(0) 推荐(0)