离散数学2

已于 2024-03-31 13:40:00 修改
阅读量278 收藏 5
点赞数 3
分类专栏： 离散数学 文章标签： 笔记
于 2024-02-22 21:56:26 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/xyxzlsld666/article/details/136221967
版权

离散数学2

个体词、量词、谓词

谓词符号逻辑化的两条规则

在这里插入图片描述
在这里插入图片描述

谓词合式公式

四类符号

在这里插入图片描述

函数符号的意义

在这里插入图片描述

项的概念

在这里插入图片描述
c：周红 是项
f（c）：周红的父亲 也是项

合式公式

在这里插入图片描述

自由变元和约束变元

合式公式何时成为命题？
所有个体变元用常量赋值或用量词约束

定义

在这里插入图片描述

两个规则

在这里插入图片描述
在这里插入图片描述

闭式

在这里插入图片描述

谓词公式的解释和分类

在这里插入图片描述
谓词逻辑和命题逻辑有相似之处，二者都是围绕公式展开，学习时可以进行类比

解释由如下四部分组成
在这里插入图片描述

谓词公式的分类

在这里插入图片描述

谓词公式的判定

在这里插入图片描述

谓词公式的等价关系

在这里插入图片描述
命题演算中的基本等价公式在谓词演算中仍然成立

等价公式

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

前束范式

定义

在这里插入图片描述

前束范式的求解步骤

在这里插入图片描述
例子
在这里插入图片描述

谓词推理

定义

在这里插入图片描述
命题演算中的基本蕴涵公式在谓词演算中仍然成立！！！

推理规律（公式）

在这里插入图片描述

推理规则

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

谓词综合推理

谓词的演绎推理

在这里插入图片描述

例子

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

木林_森林
关注
  • 3
    点赞
  • 踩
  • 5
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
离散数学知识点
傅里叶变不出的博客
12-27 1万+
商集 定义： R 是 A 上等价关系，由 R 的所有等价类构成的集合称之为 A 关于 R 的商集。记作 A/R。 A/R={[a]R∣a∈A} A/R=\{[a]_R |a∈A\} A/R={[a]R​∣a∈A} 例如， A={1,2,3,4,5,6,7} , R是A上的模3同余关系，则$ A/R= {[1]_R ,[2]_R ,[3]_R } ={{1,4,7},{2,5},{3,6}}$ 由划分确定等价关系： 若A={A1,A2,…,An}A=\{A_1 ,A_2 ,…,A_n\}A={A1​,A2​
吉林大学离散数学2笔记 自用.pdf
04-28
吉林大学离散数学2笔记 自用
离散数学2：命题逻辑的推理
Shao_yihao的博客
09-29 4356
什么是有效的结论？ 若前提为k个命题公式：A1,A2,A3,...,AkA_1,A_2,A_3,...,A_kA1​,A2​,A3​,...,Ak​，结论为命题公式BBB，对命题公式赋值时，前提和结论的取值情况有以下4种： A1∧A2∧...∧AkA_1\land A_2\land ...\land A_kA1​∧A2​∧...∧Ak​为0，BBB为0 A1∧A2∧...∧AkA_1\land A_2\land ...\land A_kA1​∧A2​∧...∧Ak​为0，BBB为1 A1∧A2∧...∧.
离散数学期末复习笔记【精华版】
热门推荐
林大夕可的博客
04-02 14万+
文章目录前言一、????理逻辑1. 命题逻辑2. 等值演算3. 主合取范式、主析取范式4. 【题】推理证明5. 辖域、自由变元、约束变元二、????合1. 环和、环积，幂集，笛卡尔乘积三、 ????????关系1. 自反、对称、传递2&3. 合成运算，逆关系、闭包4. 哈斯图、上下界、偏序5. 等价关系、划分四、????1. 幺元（么元、单位元）、零元、逆元，半群、群、阿尔贝群、独异点、循环独异点2. 【题】由表判断3. 【题】证明五、????论1. 简单图、平凡图、多重图、子图、补图、出度、入度、
离散数学学习目录
lzx的博客
11-27 1630
离散数学 集合论基础 1.1.1 集合论基础 1.2.1 特殊集合与集合间关系 1.3.1 集合的运算 1.4.1 集合的运算定律 1.5.1 可数集合与不可数集合 命题逻辑 2.1.1 什么是命题 2.2.1 命题联结词 2.3.1 命题符号化及其应用 2.4.1 命题公式和真值表 2.5.1 命题公式的分类和等价 2.6.1 基本等价关系及其应用 3.1.1 范式 3.2.1 主范式 3.3.1 基本推理形式和蕴含关系 3.4.1 自然演绎法推理 谓词逻辑 4.1.1 谓词的引入 4.2.1 量词的
Python解离散数学
跨学科知识视角展现
07-20 1436
这些是在连续范围内取值的数学对象，例如介于0和1之间的一组数字x，或绘制为平滑曲线的数学函数。离散数学是对可数的、不同的或独立的数学结构的研究。离散概率的基础，条件概率和贝叶斯定理，贝叶斯垃圾邮件过滤，随机变量、均值和方差，谷歌PageRankI。算法的计算复杂度，具有基本控制结构的算法的复杂性，常见搜索算法的复杂性，常见搜索算法的复杂性。以n为底的数，基数之间的转换，二进制数及其应用，布尔代数，十六进制数及其应用。在数学中，集合论是对对象集合的研究，是研究离散数学的必备知识。...
离散数学——集合
qq_45902301的博客
04-15 5474
这篇文章简单的介绍了离散数学中的集合相关的知识。
离散数学 函数
zhanghanqmx的博客
07-28 1439
函数 函数 function 映射 mapping 值 value 象 image 陪域 codomain 有标号的有向图 labeled diagraph 恒等函数 identity function 偏函数 partial function 单射函数 injective function 满射函数 surjective function 双射函数 bijective function 复合函数 composition function 可逆的 invertible 逆函数 inverse functio
离散数学——关系
qq_45902301的博客
04-16 8959
这篇文章简单的介绍了离散数学中的关系相关的知识。
离散数学——函数
qq_45902301的博客
04-16 5259
这篇文章简单的介绍了离散数学中的函数相关的知识。
考研复试——离散数学
weixin_46351593的博客
03-20 3142
三年疫情都没有笔试，今年恢复，大概率会有笔试。2023年3月19号，广州那边计算机学院发布的复试通知好像没有笔试，准备了这么久，有点可惜了，部分没有整理完。因为是跨考的，其实还有有笔试比较友好，不然的话笔试的100分就会换成综合评价，但是我也没有什么获奖经历，所以怕综合评价的分数会比较低。这里吧目前整理的先发出来。收集到之前中大学长学姐的复试离散数学题目回忆版，以及自己补充一些类似的例题，作为复试复习的笔记吧。题目大都在王道论坛搜集，基本都是5道大题，证明比较多。
山东大学2018离散数学2真题复习资料
01-12
2018年离散数学ii真题重现，数据完全一致，帮助你快速复习，仅供学习与交流！
离散数学讲义2
05-05
离散数学的讲义，是关于命题逻辑等值演算的讲义，可以作为一个课的讲义。
离散数学手写笔记.pdf
09-04
离散数学是计算机科学中的基础学科，主要研究不连续或离散对象的数学结构和性质。西安电子科技大学（简称“西电”）的计算机科学专业非常重视这门课程的学习，因此，这份“西电计科离散数学手写笔记”无疑是一份珍贵...
山东大学离散数学题库及答案
12-26
2. **逻辑推理**：离散数学中的逻辑推理部分包括命题逻辑和一阶谓词逻辑。命题逻辑主要涉及真值表、逻辑联接词（如与、或、非）和蕴涵、等价等。一阶谓词逻辑则引入量词（存在量词和全称量词），并研究蕴含、等价、...
deepseek-vl 论文阅读笔记
最新发布
samoyan的博客,记录技术成长~
07-22 847
我们的语言模型基于DeepSeek LLM（DeepSeek-AI，2024），其微设计大体遵循LLaMA（Touvron等，2023a,b）的设计，采用带有RMSNorm（Zhang和Sennrich，2019）函数的Pre-Norm结构，并使用SwiGLU（Shazeer，2020）作为前馈网络（FFN）的激活函数，中间层维度为8/3模型维度。此外，我们引入了一种新的“模态预热”策略。为了促进创新并支持广泛的应用需求，我们公开了两个版本的模型，分别为1.3B和7B，以满足不同计算能力的需求。
OpenGL笔记十四之GLM数学库的配置与使用
小勇博客
07-20 354
— 2024-07-20 中午。
谷粒商城实战笔记-39-前端基础-Vue-指令-v-on、v-for、v-if
epitomizelu的专栏
07-20 903
v-on 是 Vue.js 中的一个指令，用于在 DOM 元素上监听用户事件，并在事件触发时执行相应的 JavaScript 函数。它提供了一种将 Vue 实例中的方法与 DOM 事件关联起来的方式，使得你可以轻松地对用户交互做出响应。v-on 指令的基本语法是在元素上添加 v-on:event-name=“method”，其中 event-name 是你要监听的 DOM 事件类型（如 click、mouseover、keydown 等），method 则是 Vue 实例中定义的方法名。
【Blockly图形化积木编程二次开发学习笔记】5.自动保存与恢复
乙酸氧铍的博客
07-21 160
/ 用户离开页面时自动将块备份到本地存储中。关闭后再次打开，工作区仍存在。// 从本地存储中恢复块。
"学霸传承：离散数学2学习宝典
在计通本 13 级的学子中，离散数学2被誉为专业课宝典，许多学长学姐通过口口相传的方式传授给后辈们，使得他们受益匪浅。在计算机、信息安全小组的支持下，学习离散数学2成为学霸们的共同目标。通过本文，我们将深入...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

打赏作者

木林_森林

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

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

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

打赏作者

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

抵扣说明：

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

余额充值