离散数学 第一单元 logic and proofs

已于 2024-03-05 13:16:22 修改
阅读量361 收藏 8
点赞数 7
分类专栏： 离散数学 文章标签： 人工智能
于 2024-02-29 14:57:42 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ZChuashifeng/article/details/136352818
版权

目录

命题

​复合命题

​命题联结词

否定

​合取

​析取

蕴涵

​等价

​优先级

基本等价关系

范式

推理

推理的判定定理

推理定律

演绎法推理

直接证明

​间接证明（反证法）

命题演绎举例

谓词引入

​个体词

谓词

复合命题的谓词符号化

​量词引入

谓词逻辑符号化

一元谓词

​二元谓词

​个体域如何选取

前束范式​​​​​​​

谓词综合推理​​​​​​​

命题

推理的前提和结论都是命题

具有确切真值的陈述句，真值可取1或0两种值（尽管我们可能不知道这个句子是真的还是假的，但是只要这个句子是有真假的，那这个句子就是命题）

复合命题

命题联结词

否定

合取

析取

蕴涵

等价

优先级

基本等价关系

范式 

推理

推理的判定定理

推理定律

 

演绎法推理

直接证明

从结论出发，考虑问题

间接证明（反证法）

命题演绎举例

谓词引入

我们可以对简单命题继续分解（分为个体词和谓词），从谓词和量词的角度去理解

个体词​​​​​​​

谓词

谓词实际上就是函数

 复合命题的谓词符号化

量词引入

​​​​​​​​​​​​​​谓词逻辑符号化

一元谓词

二元谓词​​​​​​​

个体域如何选取​​​​​​​

前束范式​​​​​​​

谓词综合推理​​​​​​​

补充

 

所以说合取是AND，我都要看；析取是OR，有一个就可以

雨枪幻。
关注
  • 7
    点赞
  • 踩
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 1
01-31
这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 1 (Introductions and Proofs) 的笔记 PDF 版（Teddy van Jerry 整理），文件中有网课的地址链接。
揭秘系列-离散数学
12-27
揭秘系列，离散数学 In today’s world, analytical thinking is a critical part of any solid education. An important segment of this kind of reasoning—one that cuts across many disciplines—is discrete ...
math-formulas-and-proofs:数学公式和证明
04-29
数学公式 数学公式和证明 有趣-著名的数学公式（定理）及其证明:) 您可以将项目添加到静态目录中的Formulas.json文件中，以添加公式和证明。 然后，将检查这些内容并将其输入到Firebase数据库中。 样本数据结构： ...
大模型微调工具-torchtune
weixin_40777649的博客
08-08 311
1.定义2.安装3. 案例。
【OpenCV C++20 学习笔记】仿射变换-warpAffine, getRotationMatrix2D
最新发布
TeamLee的博客
08-08 399
本文简要介绍了OpenCV中仿射变换的原理和算法，并详细展示了在OpenCV中如何使用getAffineTransform, getRotationMatrix2D和warpAffine方法对图片进行仿射变换和旋转。
电脑技巧：9个免费的AI图片无损放大工具和网站
08-05 773
今天小编给大家介绍9款免费的AI图片放大工具和网站，帮助你提高图片清晰度，感兴趣的朋友可以自己试一试！美图设计室是美图秀秀公司推出的一款在线图片编辑和设计工具箱，提供包括AI 抠图、AI海报、AI PPT、AI消除、AI文生图、AI变清晰、AI无损放大等AI图片编辑工具。其提供的图片无损放大功能，目前是限时免费中，可以帮助用户将JPG、JPEG、PNG、HEIC等格式的图片放大清晰不失真，细节更丰富。✅ 产品优点由美图推出，产品功能稳定，处理速度较快支持免费进行图片放大到8倍。
【Python】Numpy概述安装及使用
Q20011102的博客
08-03 579
Numpy是科学计算基础库，提供大量科学计算相关功能，比如数据统计，随机数生成等。其提供最核心类型为多维数组类型（ndarray），支持大量的维度数组与矩阵运算，Numpy支持向量处理ndarray对象，提高程序运算速度。数组计算、数组存取函数、加权平均函数可让其在python中使用向量和数学矩阵在数据科学、人工智能（包括深度学习、语言处理分支）发挥重要作用。
RPA+AI有什么应用？6大技术融合方向分析 | 实在RPA研究
SHIZAIZHINENG的博客
08-06 996
随着数字化转型的加速，企业正寻求更高效、智能的方法来优化业务流程。机器人流程自动化（RPA）作为一种快速兴起的技术，已经证明了其在自动化重复性任务方面的能力。然而，当RPA与各种人工智能（AI）技术相结合时，其潜力将得到更全面的释放。本文将探讨不同的AI技术如何与RPA结合，以及这种结合为企业带来的变革性应用方向。机器学习 (ML)使系统能够从数据中学习和改进提高预测准确性，自动化决策制定风险管理、欺诈检测、个性化推荐银行使用ML增强RPA进行信用评分和欺诈识别计算机视觉 (CV)
线性代数课程概要介绍
08-07 701
线性代数课程内容丰富，主要围绕向量、矩阵和线性变换等核心概念展开，旨在培养学生的空间直观和想象能力、抽象思维和逻辑推理能力。线性代数是理工科大学生必修的数学基础课之一，也是硕士研究生入学全国统一考试中必考的数学课程之一。它不仅是离散化和数值计算的理论基础，还广泛应用于自然科学、社会科学、工程技术、军事和工农业生产等领域。
sheng的学习笔记-AI-k近邻学习（kNN)
coldstarry的专栏
08-07 265
k近邻（k-Nearest Neighbor，简称kNN）学习是一种常用的监督学习方法，是一种基本的分类与回归方法。分类问题：对新的样本，根据其 k 个最近邻的训练样本的类别，通过多数表决等方式进行预测。回归问题：对新的样本，根据其 k 个最近邻的训练样本标签值的均值作为预测值。
【编译原理文法概述】
武帝为此的博客
08-05 677
文法（Grammar）是描述语言语法结构的一种形式化系统，用于定义合法字符串的集合。在编译原理中，文法是用于定义编程语言语法的一套规则。通过这些规则，我们可以确定某个字符串是否属于该语言，及其结构如何。这些规则定义了如何从起始符号生成语言中的字符串，进而描述了语言的语法。
开源力量：PlugLink如何重塑中文AI技术生态系统（附源码）
AI心易行者
08-08 832
随着中文互联网生态的蓬勃发展，AI技术的应用正以前所未有的速度改变着我们的工作与生活。在这股洪流之中，——一个专注于链接AI技术与实际业务场景的开源应用，正在悄然引领一场技术与运营的融合革命。本文将深入剖析PlugLink如何巧妙地将AI技术融入日常工作流程，提高效率，降低成本，同时，我们也将一窥其内部机制，并探索如何利用它来解决中文环境下的特定挑战。
昇思基础课程打卡（SPONGE课前学习）9.使用静态图加速
cftang9999的专栏
08-06 651
AI编译框架分为两种运行模式，分别是动态图模式以及静态图模式。MindSpore默认情况下是以动态图模式运行，但也支持手工切换为静态图模式。
Python网络爬虫核心面试题
qq_42568323的博客
08-03 939
Cookies用于在客户端存储用户会话信息。持久化Cookie存储在客户端的硬盘上。具有过期时间，超过指定时间后会自动删除。可以在浏览器关闭后仍然存在。用于保存长时间有效的用户偏好和身份信息。会话Cookie存储在浏览器的内存中。在浏览器关闭后自动删除。适用于短期会话，例如购物车和临时状态保存。在爬虫中，持久化Cookies可以用于维持登录状态和追踪用户会话。# 设置持久化Cookie# 发起请求。
人工智能在教育上的应用3-脑洞大开高中数学与人工智能的出题方向，未来的趋势方向
weixin_42878111的博客
08-07 787
大家好，我是微学AI，今天脑洞大开，想到高中数学与人工智能的出题方向，未来的趋势方向。在当前人工智能迅速发展的背景下，将高中数学知识与人工智能技术相结合，不仅可以加深学生对数学概念的理解，还能激发他们对人工智能的兴趣。本文通过自己的奇思妙想，结合人工智能技术的高中数学题目。
新一代AI软件基础设施 | ZStack AIOS平台“智塔”发布
ZStack_io的博客
08-06 770
ZStack正式发布新一代AI基础设施AIOS平台“智塔“，在算力层、模型层、运营层帮助企业实现以AI为核心的重构，同时解耦算力竖井和模型竖井，优化AI应用性能和成本，解锁千亿级企业AI市场。
使用torch.rand()生成 [-1, 1)之间的张量
Never Give Up
08-04 180
这段代码主要涉及到Python的torch库（PyTorch），用来生成随机数据，并且展示了如何用函数列表来调用函数。让我们详细解释一下每一部分。
安装MindFormers
qq_36344652的博客
08-06 437
MindSpore Transformers套件的目标是构建一个大模型训练、微调、评估、推理、部署的全流程开发套件，提供业内主流的Transformer类预训练模型和SOTA下游任务应用，涵盖丰富的并行特性。期望帮助用户轻松的实现大模型训练和创新研发。
智能化招聘系统：从筛选到录用的全程解析
yongyoudayee的博客
08-05 670
在数字化时代，企业的人力资源管理正经历着前所未有的变革。招聘作为人力资源管理的重要一环，其效率与精准度直接影响着企业的竞争力和发展动力。随着人工智能（AI）技术的飞速发展，智能化招聘系统应运而生，它以数据为驱动，以算法为核心，实现了从简历筛选到最终录用的全程自动化与智能化，为企业带来了前所未有的招聘体验与效率提升。本文将深入解析智能化招聘系统的构建基础、工作流程以及其在各环节的具体应用，探讨其如何重塑招聘流程，提升招聘质量。
数学证明：通往高级数学的桥梁
《Mathematical Proofs》是一本专为向高级数学过渡的学生设计的教材，由Gary Chartrand、Albert D. Polimeni和Ping Zhang合著。本书是第四版，包含622页的内容，旨在帮助学习者掌握证明在数学中的核心地位和重要性。...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值