离散数学（二）学习笔记（谓词逻辑命题符号化、闭式、基本等价式、前束范式、集合、集合的运算、笛卡尔积、关系的闭包、等价关系）

最新推荐文章于 2025-02-17 22:13:45 发布
最新推荐文章于 2025-02-17 22:13:45 发布
阅读量1.9k 收藏 15
点赞数 4
分类专栏： 离散数学 文章标签： 数学 逻辑推理 离散余弦变换
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_51538341/article/details/122264089
版权
博客涉及离散余弦变换和逻辑推理相关内容，离散余弦变换是信息技术领域重要概念，逻辑推理在算法等方面有应用，二者结合或能为信息技术发展提供新思路。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

 

离散数学笔记整理（个人向）
diosmai_kingso的博客
03-14 1万+
复习离散数学整理出来的笔记（主要便于自己记忆）
【离散数学】期末不挂科复习笔记
woodwhale的博客
12-30 1万+
【离散数学】期末不挂科复习笔记 和蜂考学的，重要的应该是逻辑和函数这两大板块，图和树就与数据结构挂钩了（大部分都是之前学过的），重点看看各种逻辑的等值演算还有推理！ 第一章（命题逻辑的基本概念) 1、命题的概念 如何判断是否是命题： 例题1： 2、命题连接词 ①否定（可以理解为非） ②合取（可以理解成交） ③析取（可以理解为并） ④蕴含（可以理解为非p并q） ⑤等价（可以理解为相等） 优先级： 例题1: 3、命题公式及其赋值 成真赋值就是让p蕴含q的值为1，这种情况下p和q的赋值 成假赋值就是
离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.7 公式等价）
预见未来to50的专栏
10-21 1698
1. 公式等价 2. 谓词演算中的基本等价公式1（改名规则、量词转换律（量词否定等价式）） 3.谓词演算中的基本等价公式2（量词辖域的扩张与收缩、量词分配律） 4.谓词演算中的基本等价公式3 ...
计算机专业知识【 轻松理解数据库四大运算：笛卡尔积、选择、投影与连接】
最新发布
一勺菠萝丶的博客
02-17 1537
笛卡尔积就像是一场盛大的“联姻派对”，把两个关系（简单理解成两张表）中的元组（也就是表中的每一行）进行所有可能的组合。假如有个关系RRR有mmm个元组，另一个关系SSS有nnn个元组，那么它们的笛卡尔积R×SR\times SR×S就会产生m×nm\times nm×n个元组。选择运算就像是一个严格的“质检员”，从一个关系中找出满足特定条件的元组，它主要是对行进行筛选操作。可以想象成从一堆物品里挑出符合特定要求的那些。
笛卡尔积
atfxcjk336801的博客
03-01 187
笛卡尔积：多张表相乘，将表中的所有信息都要显示出来，如果关联不到的数据就用null代替 内连接：笛卡尔积中，显示的数据必须都是都有关联 　　select * from lefttable L ,righttable R where L.主键 = R.外键 　　select * from lefttable L ，inner join R on L.主键 = R.外键 左（外）...
笛卡尔积 +运算
Angelaboy的博客
12-31 5553
笛卡尔积的符号化为： A×B={(x,y)|x∈A∧y∈B} 例如，A={a,b}, B={0,1,2}，则 A×B={(a, 0), (a, 1), (a, 2), (b, 0), (b, 1), (b, 2)} B×A={(0, a), (0, b), (1, a), (1, b), (2, a), (2, b)} Numpy：x和y数组点的笛卡儿乘积成二维点的单个数组 两个numpy数组，它们定义了网格的x和y轴。例如： x = numpy.array([1,2,3])y = numpy.array(
【离散数学】谓词
qq_56460466的博客
04-20 2034
离散数学-谓词，学习笔记
离散数学基础知识.docx
06-26
1. **命题符号化** - **逻辑常量**：用来表示固定不变的逻辑值，即真和假。通常用1表示真，0表示假。 - **逻辑变量**：即命题变元，可以代表任意命题。常用的表示方法是使用小写字母（如p, q, r）或者带有下标的...
《离散数学及其应用》读书笔记【一】逻辑和证明
夏末
06-28 4660
对于一个经常计算机打交道的程序员来说 有两门知识及其重要一个是离散数学一个是数据结构离散数学让我们可以用最接近计算机运行的方式去处理编写代码 对思路有着及其重要的指导作用 数据结构则可以让我们了解计算机运行时数据的结构 更好的处理问题等最近这段时间正好有空就把《离散数学及其应用这本书》打算看几遍 看的是中文版对比英文版有很大删减 在接触离散数学前对 或与非 已经有很多的接触 但并未正式的系统学习
人工智能原理笔记------知识表示方法
博客
04-19 9685
人工智能原理笔记------知识表示方法
昆明理工大学离散数学笔记
07-05
昆明理工大学的离散数学笔记是考研学生的重要参考资料，涵盖了数理逻辑、集合论、图论以及代数系统四大核心领域，旨在帮助考生全面掌握离散数学的基础理论与应用技巧。 ### 数理逻辑 数理逻辑在离散数学中占据30%...
集合的运算和笛卡尔乘积.pdf
06-02
i.实验内容： 已知所给集合 A 和 B，求 A 与 B 的笛卡儿乘积 C（C=A×B）。 ii.实验要求： 复习笛卡儿乘积的定义，实验由一人一组完成。所编程序能够通过编译，并 能够实现求两个给定集合的笛卡儿乘积
Java实现笛卡尔积算法-递归
yiguang_820的博客
09-11 716
import java.util.ArrayList; import java.util.List; public class Test{ public static void main(String[] args) { List<String> list1 = new ArrayList<String>(); list1.add("蓝色"); list1.add("绿色"); List<String> lis.
运算法则（笛卡尔乘积）
kirsten111111的博客
01-20 6877
运算法则（笛卡尔乘积） Union: • For sets A and B: • written A ∪ B, • elements that are in A, or B, or both, • A ∪ B = { x : x ∈ A or x ∈ B }. • So that: • (x ∈ A ∪ B) ⇔ (x ∈ A) ∨ (x ∈ B). Intersection: • For sets A and B: • written A ∩ B, • elements that are in both
笛卡尔积算法
Rookie_logs的博客
06-29 384
public static<T> List<List<T>> descartes(List<List<T>> lstSplit) { int count = 1; for (List<T> item : lstSplit) { count *= item.size(); } List<List<T>> lstResu...
数据库的交、并、差、笛卡尔积运算（代码实现）
热门推荐
将~军的博客
02-01 2万+
、INTERSECT、EXCEPT 1. 交运算（UNION） 【例3-40】 查询选修了180101号或180102号课程或二者都选修了的学生学号、课程号和成绩。 (SELECT 学号, 课程号, 成绩 FROM 学习 WHERE 课程号=‘180101’) UNION (SELECT 学号, 课程号, 成绩 FROM 学习 WHERE 课程号=‘180102’) 输出结果： 学号 课程号 成绩 090101 180101 59 090101 180102 56
北京交通大学离散数学 谓词逻辑_离散数学--谓词逻辑【学习笔记】
weixin_35275073的博客
12-08 1016
命题逻辑的局限性--1.无法表示简单命题内部的逻辑关系 2.不能表示含有变量的语句谓词逻辑是命题逻辑的分解最简单的分解：陈述句分解成主语和谓语对于含变量的语句：个体词——主语、宾语；谓语——刻画性质或个体词之间关系全总个体域：宇宙间所有个体；个体常量——abc，，个体变量——xyz复合命题的 谓 语 符 号 化个体词、谓词无法精确描述命题个体域符号化统一个体域为全总个体域OR命题中出现的个体词...
离散数学（一）：知识结构
m0_74161592的博客
05-13 6213
离散数学笔记
离散数学 第二章 谓词逻辑 2-5 谓词演算的等价式和蕴涵式
06-06
谓词演算中常用的一些等价式和蕴涵式如下： 1. 否定律： ¬(P ∧ Q) ≡ ¬P ∨ ¬Q ¬(P ∨ Q) ≡ ¬P ∧ ¬Q ¬¬P ≡ P 2. 同一律： P ∧ P ≡ P P ∨ P ≡ P 3. 分配律： P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

玛卡巴卡ldf

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值