离散数学-简单理解版

最新推荐文章于 2022-10-23 13:51:58 发布
最新推荐文章于 2022-10-23 13:51:58 发布
阅读量4.9k 收藏 20
点赞数 7
分类专栏： 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ao_mike/article/details/104564242
版权

 

第一节： 命题与命题联结词

我们通过做题 去渗透一个知识点 然后 引出有些东西     结合课上发的问题文件 现在只是简单剖析 就是学皮毛

这题是用逻辑符号表示

命题

什么是逻辑符号呢？那么得先讲到命题这个概念。

我们可以看到疑问句，感叹句，以及语句的逻辑，判断结果有误的表达形式都不是命题。

复合命题

这里在提一下 原子命题 与 复合命题 的概念。

命题联结词

将命题连接起来的方式叫做命题联结词，主要有以下几种。

最低0.47元/天 解锁文章
离散数学第一章（知识点总结）
Joyce_Huuuuu的博客
08-21 2561
提前用电子科大的视频预习了下离散数学，感觉知识点很杂，总结了下发到上面～有需要的自取 如果有需要电子版的可以评论哈 1.集合的数学符号： 用带或不带下标的大写英文字母表示集合：A,B,C,... 用带或不带下标的小写英文字母表示元素：a,b,c,.... 2.常用集合 自然数集合N 整数集合Z 有理数集合Q（有理数是整数（正整数、0、负整数）和分数的统称） 实数集合R（有理数和无理数的总称） 3.属于关系 a是集合A中的元素：a∈A a不是集合A中的元素：a∉A 4.表示方法 ..
latex 分布符号_latex符号大全
weixin_39847728的博客
12-20 1607
latex符号大全: 离散数学符号大全，缺失：latex3519/9├ 断定符(公式在L中可证)╞ 满足符(公式在E上有效，公式在E上可满足)┐ 命题的“非”运算∧ 命题的“合取”(“与”)运算∨ 命题的“析取”(“或”，“可兼或”)运算→ 命题的“条件”运算A<=>B 命题A 与B 等价关系A=>B 命题 A与 B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅...
离散数学 第一章 命题逻辑 1-2 联结词
weixin_33831196的博客
08-13 1455
在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1)否定    定义1-2.1设p为一命题，p的否定是一个新的命题，记作┓p.若p为t, ┓p为f;若p...
离散数学符号大全
热门推荐
zhangbw's blog
06-27 2万+
├ 断定符（公式在 L 中可证） ╞ 满足符（公式在 E上有效，公式在 E上可满足） ┐命题的 “非”运算 ∧ 命题的 “合取 ”（“与”）运算 ∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算 → 命题的 “条件 ”运算 A<=>B 命题 A 与 B 等价关系 A=>B 命题 A 与 B 的蕴涵关系 A* 公式 A 的对偶公式 wff 合式公式 iff 当且仅当 ↑ 命题的 “与非 ” 运算（ “与非门 ” ） ↓ 命题的 “或非 ”运算（ “或非门 ” ） □模态词 “必然 ” ◇
离散数学-复试题(2010版)1
08-03
试题中体现出的深度和复杂性提醒我们，虽然离散数学可能入门相对简单，但深入研究则需要耐心和钻研精神。南京大学的课程推荐以宋方敏和陈道旭的课件为主，这些资源可以帮助考生更好地理解和掌握离散数学的知识点。 ...
离散数学 - 电子科技大学.zip
03-14
通过电子科技大学的离散数学自学课程，学生将深入理解这些概念，并能将其应用到实际的编程和问题解决中。学习离散数学不仅能够提升抽象思维能力，还能为后续学习如编译原理、算法分析、数据库、人工智能等领域打下...
离散数学-第一部分笔记
02-13
离散数学是计算机科学、数学和逻辑学的基础课程，它主要研究离散对象的...理解并掌握这些概念是学习离散数学和后续逻辑推理的基础，对于计算机科学领域，尤其是算法设计、编程语言理论和人工智能有着重要的应用价值。
离散数学-组合部分.pdf
09-20
离散数学是计算机科学和数学领域内重要的基础学科之一，它关注的是离散而非连续的数学结构。离散数学的组合部分特别关注于组合数学，这是一种研究离散对象组合方式的数学。组合数学在计算机科学中尤为重要，因为它...
离散数学-命题逻辑+异或(对称差)+主析取范式+主合取范式+推理
ResumeProject的博客
01-24 1万+
命题逻辑异或与精确表达异或精确表达:真值表需要精确对应命题公式的简化与命题等价命题公式的简化命题等价:真值表相同基础等价公式重言式(永真式)与矛盾式(永假式)重言蕴含式：基础重言蕴含式范式析取范式与合取范式主析取范式和主合取范式推理推理的方法推理的规则 异或与精确表达 异或 异或，英文为exclusive OR，缩写成xor 异或的数学符号为“⊕”，计算机符号为“eor”。其运算法则为： a⊕b = (¬a ∧ b) ∨ (a ∧¬b) 如果a、b两个值不相同，则异或结果为1。如果a、b两个值相同，异或结果
离散数学符号表Doc格式
07-24
离散数学符号表Doc格式，方便用户在word中编辑公式使用。
离散数学---符号解释
weixin_43440893的博客
10-23 3515
离散数学
离散数学
anleng6817的博客
07-01 293
第一章 基础：逻辑和证明 命题（proposition）：真或假的陈述句 否定：￢（!、not、非、补） 合取：∧（&&、and、且、交） 析取：∨（||、or、或、并） 异或：⊕（xor） 只有一个为真时为真，其余为假（相同为假，不同为真） 条件语句：→（蕴含） p→q，p 真 q 假为假，其余全为真（p 为自然语言中的 “条件”，q 为自然语言中的 “结果”） 双条...
离散数学：常用的数学符号
Zhengyangxinn的博客
01-12 6694
常用的数学符号
常见离散数学符号
baopengjian的专栏
12-04 1万+
常见符号 联结词： ¬ ∧ ∨ → ↔ ≠ Ø ∈ △ 希腊字母表 Α α 阿尔法 Alpha Β β 贝塔 Beta Γ γ 伽玛 Gamma Δbai δ 德尔塔 Delte Ε ε 艾普西龙 Epsilon Ζ ζ 捷塔 Zeta Ε η 依塔 Eta Θ θ 西塔 Theta Ι ι 艾欧塔 Iota Κ κ 喀帕 Kappa ∧ λ 拉姆达 Lambda Μ μ 缪 Mu Ν ν 拗 Nu Ξ ξ 克西 Xi Ο ο
离散数学 1. 符号表、集合和命题
leavrow的博客
04-07 1万+
符号表 集合 设A,B两个集合有一种一一对应的关系ψ：A→B ， 则称A,B等势记做：A~B 。 如果A=B ， 则A~B，反之不成立。 凡与自然集合N等势的集合称之为可数集合 ， 该集合的基数记为 （阿列夫零） 开区间（0,1）称为不可数集合， 凡与开区间等势的集合称为不可数集合，称为阿列夫。 命题 一切没有判断内容的句子都不能作为命题，命题应该是一个陈述语句 设p为任意命题，非p称为p...
离散数学-各种关联词的符号化
yocichen
02-28 8792
离散数学--关联词的符号化问题 ①如果p那么q 　p->q; ②只有p才q 　　 q->p;(p是q的必要条件) 仔细想一下，只有p->q和q->p两种情况，p成立不一定q成立，而q成立，那么p就一定成立，所以后者正确； ③只要p就q p->q;(p是q的充分条件) 同① ④仅当p, q q...
离散数学中的联结符号
luolang_103的博客
07-24 8301
文章链接：离散数学 第一章 命题逻辑 1-2 联结词 - emanlee - 博客园 http://www.cnblogs.com/emanlee/archive/2010/08/13/1799088.html 笛卡尔积------有序对的集合的所有组合 在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对组成的集合...
离散数学复习
weixin_43731369的博客
07-20 1593
集合论： 集合 是有指定范围内的满足给定条件的所有对象聚集在一起构成，每一个对象称为这个集合的元素。 从朴素集合论 到 公理化集合论 (罗素悖论） 用大写英文字母 表示集合。 用小写英文字母表示元素。 属于关系，不属于关系。 集合表示方法，枚举法（可以带省略号，必须有规律）， 叙述法(P = {x|P(x)}，文氏图（方形或圆形表示集合，圆点表示元素）。 基数（base number） 集合A中元素的个数，记为|A| 有限集（finite set）与无限集（infinite set） 空集（empty se
离散数学-集合的简单运算的实验原理和过程
06-11
离散数学中，集合是一个非常基础且重要的概念。集合的简单运算包括交、并、差、补等。下面，我将介绍这些集合运算的实验原理和过程。 实验原理： 在集合运算中，我们需要用到两个集合（或多个集合），并根据运算符进行相应的操作。具体而言，交运算需要找出两个集合的交集；并运算需要找出两个集合的并集；差运算需要找出第一个集合与第二个集合的差集；补运算需要找出一个集合相对于全集的补集。 实验过程： 1. 交运算 假设有两个集合 A 和 B，它们的交集可以表示为 A ∩ B。我们可以通过以下步骤进行交运算的实验： - 准备两个集合 A 和 B，记录它们的元素。 - 找出 A 和 B 中的共同元素，即它们的交集。 - 将交集元素组成一个新的集合 C，即 C = A ∩ B。 2. 并运算 假设有两个集合 A 和 B，它们的并集可以表示为 A ∪ B。我们可以通过以下步骤进行并运算的实验： - 准备两个集合 A 和 B，记录它们的元素。 - 将 A 和 B 中的元素合并，去除重复元素，即得到它们的并集。 - 将并集元素组成一个新的集合 C，即 C = A ∪ B。 3. 差运算 假设有两个集合 A 和 B，它们的差集可以表示为 A - B。我们可以通过以下步骤进行差运算的实验： - 准备两个集合 A 和 B，记录它们的元素。 - 找出 A 中与 B 不同的元素，即得到它们的差集。 - 将差集元素组成一个新的集合 C，即 C = A - B。 4. 补运算 假设有一个集合 A，它的补集可以表示为 A'。我们可以通过以下步骤进行补运算的实验： - 准备一个集合 A，记录它的元素。 - 准备一个全集 U，它包含所有可能的元素。 - 找出 U 中与 A 不同的元素，即得到 A 相对于 U 的补集。 - 将补集元素组成一个新的集合 C，即 C = A'。 总结： 以上就是离散数学中集合运算的实验原理和过程。通过这些实验，我们可以更好地理解集合运算的概念和应用。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值